public void AddSet(MutableSet <T> s)
{
this.setImpl.UnionWith(s.setImpl);
}
public void TransferSet(MutableSet <T> s)
{
this.setImpl = s.setImpl; s.setImpl = new HashSet <T>();
}
public static Dafny.Set <T> SetOf(MutableSet <T> s)
{
return(Dafny.Set <T> .FromCollection(s.setImpl));
}