public ClauseSet(Clause c) : this() { add(c); }
internal bool hasClause(Clause c) { return(pClauses.Contains(c)); }