public Domain ConstrainEqual(SymbolicValue target, SymbolicValue source)
{
if (NonNullValues.Contains(source))
{
NonNullValues = NonNullValues.Add(target);
}
return(this);
}
public bool Contains(T elem)
{
if (set == null)
{
throw new InvalidOperationException("The set is null");
}
return(set.Contains(elem));
}
