コード例 #1
0
ファイル: Domain.cs プロジェクト: tralivali1234/IL2JS
 public bool CommutableWith(Effects other)
 {
     return(Args.CommutableWith(other.Args) && Locals.CommutableWith(other.Locals) &&
            Heap.CommutableWith(other.Heap) && MayThrow.CommutableWith(other.MayThrow));
 }
コード例 #2
0
ファイル: Domain.cs プロジェクト: tralivali1234/IL2JS
 public bool CommutableWith(Effects other)
 {
     return(Vars.CommutableWith(other.Vars) && Heap.CommutableWith(other.Heap) && MayThrow.CommutableWith(other.MayThrow));
 }