Clause Class Reference

List of all members.

Public Member Functions
	Clause ()
	Clause (const double &wt)
	Clause (const Clause &c)
	~Clause ()
double	sizeMB () const
void	compress ()
bool	same (Clause *const &c)
size_t	hashCode ()
int	getNumPredicates () const
double	getWt () const
const double *	getWtPtr () const
void	setWt (const double &wt)
void	addWt (const double &wt)
void	setDirty ()
bool	isDirty () const
Predicate *	getPredicate (const int &idx) const
const Array< Predicate * > *	getPredicates () const
bool	containsPredicate (const Predicate *const &pred) const
int	getNumVariables () const
int	getNumVariablesAssumeCanonicalized () const
bool	isHardClause () const
void	setIsHardClause (const bool &b)
void	appendPredicate (Predicate *const &p)
Predicate *	removePredicate (const int &i)
bool	hasRedundantPredicates ()
bool	removeRedundantPredicates ()
void	removeRedundantPredicatesAndCanonicalize ()
void	canonicalize ()
bool	checkPredsAreConnected ()
void	canonicalizeWithoutVariables ()
AuxClauseData *	getAuxClauseData () const
void	setAuxClauseData (AuxClauseData *const &acd)
void	newAuxClauseData ()
bool	containsConstants () const
void	trackConstants ()
void	newCache (const int &numDomains, const int &numPreds)
void	translateConstants (const Domain *const &orig, const Domain *const &nnew)
Array< Array< int > * > *	getTypeIdToVarIdsMapAndSmallestVarId (int &smallestVarId)
ostream &	print (ostream &out, const Domain *const &domain, const bool &withWt, const bool &asInt, const bool &withStrVar) const
ostream &	printAsInt (ostream &out) const
ostream &	printWithoutWt (ostream &out, const Domain *const &domain) const
ostream &	printWithoutWtWithStrVar (ostream &out, const Domain *const &domain) const
ostream &	printWithWtAndStrVar (ostream &out, const Domain *const &domain) const
ostream &	print (ostream &out, const Domain *const &domain) const
ostream &	printWithoutWtWithStrVarAndPeriod (ostream &out, const Domain *const &domain) const
void	addUnknownClauses (const Domain *const &domain, const Database *const &db, const int &gndPredIdx, const GroundPredicate *const &groundPred, const AddGroundClauseStruct *const &agcs)
void	getUnknownClauses (const Domain *const &domain, const Database *const &db, const int &gndPredIdx, const GroundPredicate *const &groundPred, const Predicate *const &gndPred, Array< GroundClause * > *const &unknownGndClauses, Array< Clause * > *const &unknownClauses)
bool	isSatisfiable (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds)
double	getNumGroundings (const Domain *const &domain)
double	getNumTrueGroundings (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds)
void	getNumTrueUnknownGroundings (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds, double &numTrue, double &numUnknown)
double	getNumUnknownGroundings (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds)
void	getNumTrueFalseUnknownGroundings (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds, double &numTrue, double &numFalse, double &numUnknown)
double	countDiffNumTrueGroundings (Predicate *const &gndPred, const Domain *const &domain, Database *const &db, const bool &hasUnknownPreds, const bool &sampleClauses, const int &combo)
void	getActiveClauses (Predicate *const &gndPred, const Domain *const &domain, Array< IntClause * > *const &activeIntClauses, PredicateHashArray *const &seenPreds, bool const &ignoreActivePreds)
void	getInactiveClauses (Predicate *const &gndPred, const Domain *const &domain, Array< IntClause * > *const &activeIntClauses, PredicateHashArray *const &seenPreds)
void	getActiveClauses (Predicate *const &gndPred, const Domain *const &domain, Array< GroundClause * > *const &activeGroundClauses, GroundPredicateHashArray *const &seenGndPreds, bool const &ignoreActivePreds)
int	getActiveClauseCnt (Predicate *const &gndPred, const Domain *const &domain, PredicateHashArray *const &seenPreds, bool const &ignoreActivePreds)
Static Public Member Functions
static void	computeFixedSizeB ()
static bool	moveTermsFromUnseenToSeen (Array< Term * > *const &terms, PredicateHashArray &unseenPreds, Array< Predicate * > &seenPreds)
static void	setClauseSampler (ClauseSampler *const &cs)
static const ClauseSampler *	getClauseSampler ()
static void	sortByLen (Array< Clause * > &ca)
static string	getOpAsString (const int &op)
Friends
class	ClauseSampler

---

Detailed Description

Definition at line 103 of file clause.h.

---

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

• src/logic/clause.h
• src/logic/clause.cpp

---