Python plan_friendly_texの例

コード例 #1

def true_plan_string_tex(stats):
    """ p_{\circ} := True plan """
    true_plan = stats['tc'].true_plan
    if true_plan is None:
        return None
    else:
        return '$%s$' % plan_friendly_tex(true_plan)

コード例 #2

ファイル: statistics.py プロジェクト: AndreaCensi/surf12adam

def true_plan_string_tex(stats):
    """ p_{\circ} := True plan """
    true_plan = stats["tc"].true_plan
    if true_plan is None:
        return None
    else:
        return "$%s$" % plan_friendly_tex(true_plan)

コード例 #3

def plan_string_tex(stats):
    """ p := Plan """
    plan = stats['result'].plan
    if plan is None:
        return None
    else:
        return '$%s$' % plan_friendly_tex(plan)

コード例 #4

ファイル: statistics.py プロジェクト: AndreaCensi/surf12adam

def plan_string_tex(stats):
    """ p := Plan """
    plan = stats["result"].plan
    if plan is None:
        return None
    else:
        return "$%s$" % plan_friendly_tex(plan)