Exemple #1
0
        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);
 }