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