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)