Python plan_friendly_tex Examples

Example #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)

Example #2

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