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)); }