示例#1
0
 public ClauseSet(Clause c)
     : this()
 {
     add(c);
 }
示例#2
0
 internal bool hasClause(Clause c)
 {
     return(pClauses.Contains(c));
 }