predicate_manager Namespace Reference

Classes
class	And
struct	cantor_pair_hash
class	Dependencies
class	Event
class	Implies
class	Not
class	Or
class	Predicate
class	PredicateDependentEntity
class	PredicateManager
class	PropLogic
class	PropLogicEvent
class	PropLogicPredicate
class	PropOperator
class	PV
class	Xor
Typedefs
typedef std::pair< int, std::string >	NameID
typedef std::set< NameID >	NameIDSet
typedef std::pair< int, uint32_t >	NrID
typedef boost::unordered_map < NameID, const bool * >	PredValueMap
	This type maps NameIDs to the logical values of the respective predicates.
Enumerations
enum	DEP_STATUS { OK, UNDECLARED, UNKNOWN_VALUE }

---

Typedef Documentation

typedef std::pair<int, std::string> predicate_manager::NameID

The NameID type uniquely identifies a Predicate through the ID of its PM and its name. NameID = <PM ID, name> This type allows for a simpler, easy-to-use interface when implementing Predicates.

Definition at line 41 of file common_defs.h.

typedef std::set<NameID> predicate_manager::NameIDSet

A set of NameIDs.

Definition at line 51 of file common_defs.h.

typedef std::pair<int, uint32_t> predicate_manager::NrID

The NrID type uniquely identifies a Predicate through the ID of its PM and its registration number. NrID = <PM ID, reg. number> This type allows for faster access to local structures.

Definition at line 47 of file common_defs.h.

typedef boost::unordered_map<NameID, const bool*> predicate_manager::PredValueMap

This type maps NameIDs to the logical values of the respective predicates.

Definition at line 65 of file common_defs.h.

---

Enumeration Type Documentation

enum predicate_manager::DEP_STATUS

This type allows predicates and events to have functional information regarding their dependencies:

• OK: The dependency exists and its value is known.
• UNDECLARED: The dependency has not been declared in its specified PM.
• UNKNOWN_VALUE: The value of the dependency is (still) unknown.

Enumerator:

OK
UNDECLARED
UNKNOWN_VALUE

Definition at line 73 of file common_defs.h.