Esempio n. 1
0
 public bool CommutableWith(Effects other)
 {
     return(Args.CommutableWith(other.Args) && Locals.CommutableWith(other.Locals) &&
            Heap.CommutableWith(other.Heap) && MayThrow.CommutableWith(other.MayThrow));
 }
Esempio n. 2
0
 public bool CommutableWith(PointsTo other)
 {
     return(Args.CommutableWith(other.Args) && Locals.CommutableWith(other.Locals) && Heap.CommutableWith(other.Heap));
 }
Esempio n. 3
0
 public bool CommutableWith(Effects other)
 {
     return(Vars.CommutableWith(other.Vars) && Heap.CommutableWith(other.Heap) && MayThrow.CommutableWith(other.MayThrow));
 }