Ejemplo n.º 1
0
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)
Ejemplo n.º 2
0
def plan_string_tex(stats):
    """ p := Plan """
    plan = stats['result'].plan 
    if plan is None:
        return None
    else:
        return '$%s$' % plan_friendly_tex(plan)