public static readonly SetDomain <T> BottomValue = new SetDomain <T>((IFunctionalSet <T>)null); // Thread-safe
public SetDomain <T> Add(T elem)
{
if (set == null)
{
throw new InvalidOperationException("The set is null");
}
return(new SetDomain <T>(set.Add(elem)));
}
public Domain ConstrainEqual(SymbolicValue target, SymbolicValue source)
{
if (NonNullValues.Contains(source))
{
NonNullValues = NonNullValues.Add(target);
}
return(this);
}
