public SetDomain <T> Remove(T elem)
{
if (set == null)
{
throw new InvalidOperationException("The set is null");
}
return(new SetDomain <T>(set.Remove(elem)));
}
public Domain Rename(IFunctionalMap <SymbolicValue, SymbolicValue> substitution)
{
foreach (SymbolicValue v in NonNullValues.Elements)
{
if (substitution.Contains(v))
{
NonNullValues = NonNullValues.Remove(v).Add(substitution[v]);
}
}
return(this);
}
