public ClauseSet union(ClauseSet cs) { var result = new ClauseSet(this); result.add(cs); return(result); }
public ClauseSet add(ClauseSet cs) { Debug.Assert(!ReferenceEquals(this, cs)); foreach (var c in cs.clauses) { add(c); } return(this); }
public ClauseSet(ClauseSet other) : this() { foreach (var c in other.clauses) { add(c); } // pClauses = new SortedSet<Clause>(other.clauses); // numAtoms = other.numAtoms; }