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