Exemple #1
0
 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));
 }
Exemple #2
0
 public bool Lte(Effects other)
 {
     return(Args.Lte(other.Args) && Locals.Lte(other.Locals) && Heap.Lte(other.Heap) && MayThrow.Lte(other.MayThrow));
 }