ClauseFactory Class Reference

List of all members.

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)

---

Detailed Description

Definition at line 74 of file clausefactory.h.

---

The documentation for this class was generated from the following file:

• src/logic/clausefactory.h

---