GroundPreds Class Reference

List of all members.

Public Member Functions
	GroundPreds ()
	~GroundPreds ()
bool	contains (Predicate *const &p)
void	appendTrueGndPred (Predicate *const &p)
void	appendFalseGndPred (Predicate *const &p)
void	appendUnknownGndPred (Predicate *const &p)
const PredicateHashArray *	getTrueGndPreds () const
const PredicateHashArray *	getFalseGndPreds () const
const PredicateHashArray *	getUnknownGndPreds () const
int	getNumTrueGndPreds () const
int	getNumFalseGndPreds () const
int	getNumUnknownGndPreds () const
void	changeGndPredTruthValue (Predicate *const &pred, const TruthValue &oldValue, const TruthValue &newValue)
void	compress ()

---

Detailed Description

Definition at line 72 of file groundpreds.h.

---

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

• src/logic/groundpreds.h

---