| addPredicateToClause(const Array< Predicate * > &preds, Clause *const &clause, const int &op, const int &removeClauseIdx, const bool &clauseHasBeenCanonicalized, ClauseOpHashArray &newClauses, const bool &addTruePredOnly) | ClauseFactory | [inline] |
| addPredicateToClause(const Predicate *const &pred, Clause *const &clause, const int &op, const int &removeClauseIdx, const bool &clauseHasBeenCanonicalized, ClauseOpHashArray &newClauses, const bool &addTruePredOnly) | ClauseFactory | [inline] |
| ClauseFactory() | ClauseFactory | [inline] |
| ClauseFactory(const int &maxNumVars, const int &maxNumPredicates, const Domain *const &domain) | ClauseFactory | [inline] |
| createUnitClause(const Predicate *const &predicate, const bool &allowEqualPred) | ClauseFactory | [inline, static] |
| createUnitClauses(Array< Clause * > &unitClauses, Array< Predicate * > &preds, const bool &allowEqualPred) | ClauseFactory | [inline, static] |
| createUnitClausesWithDiffCombOfVar(const Predicate *const &pred, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses) | ClauseFactory | [inline] |
| createUnitClausesWithDiffCombOfVar(const Array< Predicate * > &preds, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses) | ClauseFactory | [inline] |
| flipSensesInClause(const Clause *const &clause, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses, const bool &canonicalizeNewClauses) | ClauseFactory | [inline] |
| removePredicateFromClause(const int &predIdx, const Clause *const &clause, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses) | ClauseFactory | [inline] |
| removePredicateFromClause(const Clause *const &clause, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses) | ClauseFactory | [inline] |
| validClause(const Clause *const &c) | ClauseFactory | [inline] |
| ~ClauseFactory() | ClauseFactory | [inline] |