Example #1
0
 public void TransferSet(MutableSet <T> s)
 {
     this.setImpl = s.setImpl; s.setImpl = new HashSet <T>();
 }
Example #2
0
 public static void EmptySet(out MutableSet <T> s)
 {
     s = new MutableSet <T>();
 }
Example #3
0
 public void AddSet(MutableSet <T> s)
 {
     this.setImpl.UnionWith(s.setImpl);
 }
Example #4
0
 public static Dafny.Set <T> SetOf(MutableSet <T> s)
 {
     return(Dafny.Set <T> .FromCollection(s.setImpl));
 }