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)