119120121122123124125126127
* if the new number of clauses exceeds the maximum clause number * @see #getMaxClauseCount() */ protected void addClause(final NodeBooleanClause clause) { if (clauses.size() >= maxClauseCount) { throw new TooManyClauses(); } clauses.add(clause); }