def true_plan_string(stats): """ p_{\circ} := True plan """ true_plan = stats['tc'].true_plan if true_plan is None: return None else: return plan_friendly(true_plan)
def plan_string(stats): """ p := Plan """ plan = stats['result'].plan if plan is None: return None else: return plan_friendly(plan)