コード例 #1
0
ファイル: IoNative.cs プロジェクト: MadeByMars/Ironclad 
 public void AddSet(MutableSet <T> s)
 {
     this.setImpl.UnionWith(s.setImpl);
 }
コード例 #2
0
ファイル: IoNative.cs プロジェクト: MadeByMars/Ironclad 
 public void TransferSet(MutableSet <T> s)
 {
     this.setImpl = s.setImpl; s.setImpl = new HashSet <T>();
 }
コード例 #3
0
ファイル: IoNative.cs プロジェクト: MadeByMars/Ironclad 
 public static Dafny.Set <T> SetOf(MutableSet <T> s)
 {
     return(Dafny.Set <T> .FromCollection(s.setImpl));
 }