Public Member Functions | |
| ClauseFactory () | |
| ClauseFactory (const int &maxNumVars, const int &maxNumPredicates, const Domain *const &domain) | |
| ~ClauseFactory () | |
| void | addPredicateToClause (const Array< Predicate * > &preds, Clause *const &clause, const int &op, const int &removeClauseIdx, const bool &clauseHasBeenCanonicalized, ClauseOpHashArray &newClauses, const bool &addTruePredOnly) |
| void | addPredicateToClause (const Predicate *const &pred, Clause *const &clause, const int &op, const int &removeClauseIdx, const bool &clauseHasBeenCanonicalized, ClauseOpHashArray &newClauses, const bool &addTruePredOnly) |
| void | removePredicateFromClause (const int &predIdx, const Clause *const &clause, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses) |
| void | removePredicateFromClause (const Clause *const &clause, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses) |
| void | flipSensesInClause (const Clause *const &clause, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses, const bool &canonicalizeNewClauses) |
| void | createUnitClausesWithDiffCombOfVar (const Predicate *const &pred, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses) |
| void | createUnitClausesWithDiffCombOfVar (const Array< Predicate * > &preds, const int &op, const int &removeClauseIdx, ClauseOpHashArray &newClauses) |
| bool | validClause (const Clause *const &c) |
Static Public Member Functions | |
| static Clause * | createUnitClause (const Predicate *const &predicate, const bool &allowEqualPred) |
| static void | createUnitClauses (Array< Clause * > &unitClauses, Array< Predicate * > &preds, const bool &allowEqualPred) |
Definition at line 74 of file clausefactory.h.
1.5.1