public bool Lte(Effects other) { if (Vars == null && other.Vars != null) { return(false); } if (Vars != null && other.Vars != null && !Vars.Lte(other.Vars)) { return(false); } return(Heap.Lte(other.Heap) && MayThrow.Lte(other.MayThrow)); }
public bool Lte(Effects other) { return(Args.Lte(other.Args) && Locals.Lte(other.Locals) && Heap.Lte(other.Heap) && MayThrow.Lte(other.MayThrow)); }