def from_dict(cls, d: dict) -> "RearrangeAssumptionStrategy": assumption = TrackingAssumption.from_dict(d.pop("assumption")) sub_assumption = TrackingAssumption.from_dict(d.pop("sub_assumption")) assert not d return cls(assumption, sub_assumption)
def from_dict(cls, d: dict) -> "AddAssumptionsStrategy": assumptions = [ TrackingAssumption.from_dict(ass) for ass in d["assumptions"] ] return cls(assumptions)