pddl_planner::representation Namespace Reference

Namespaces
	grammar

Classes
struct	Action
class	Arity
	Arity represents the arity of operations allowing to define exact, minimum and maximum arity. More...
class	ArityValidator
	Class to validate usage of operations against argument requirements. More...
struct	Domain
	An internal representation of a PDDL domain description. More...
class	Expression
	Representation of (LISP) expressions. More...
struct	Predicate
	Representation of a predicate. More...
struct	Problem
class	TypedItem
	A tuple representation providing a name/label and a type. More...
class	VariableManager
	Manage variable, i.e. for PDDL description these variables start with a quotation mark. More...

Typedefs
typedef std::string	Label
typedef Label	Operator
typedef std::string	Type
typedef std::string	Requirement
typedef std::vector< Type >	TypeList
typedef std::vector< Requirement >	RequirementList
typedef TypedItem	Constant
typedef std::vector< TypedItem >	TypedItemList
typedef TypedItemList	ConstantList
typedef TypedItemList	ArgumentList
typedef TypedItemList	ParameterList
typedef std::vector< Predicate >	PredicateList
typedef Predicate	Function
typedef std::vector< Function >	FunctionList
typedef std::map< Label, Arity >	ArityMap
typedef std::vector< Expression * >	ExpressionPtrList
typedef std::vector< Expression >	ExpressionList
typedef std::vector< Action >	ActionList

Enumerations
enum	Quantor { UNKNOWN_QUANTOR, FORALL, EXISTS }

Variables
std::map< Quantor, std::string >	QuantorTxt

Typedef Documentation

typedef std::vector<Action> pddl_planner::representation::ActionList

typedef TypedItemList pddl_planner::representation::ArgumentList

typedef std::map<Label, Arity> pddl_planner::representation::ArityMap

typedef TypedItem pddl_planner::representation::Constant

typedef TypedItemList pddl_planner::representation::ConstantList

typedef std::vector<Expression> pddl_planner::representation::ExpressionList

typedef std::vector<Expression*> pddl_planner::representation::ExpressionPtrList

typedef Predicate pddl_planner::representation::Function

typedef std::vector<Function> pddl_planner::representation::FunctionList

typedef std::string pddl_planner::representation::Label

typedef Label pddl_planner::representation::Operator

typedef TypedItemList pddl_planner::representation::ParameterList

typedef std::vector<Predicate> pddl_planner::representation::PredicateList

typedef std::string pddl_planner::representation::Requirement

typedef std::vector<Requirement> pddl_planner::representation::RequirementList

typedef std::string pddl_planner::representation::Type

typedef std::vector<TypedItem> pddl_planner::representation::TypedItemList

typedef std::vector<Type> pddl_planner::representation::TypeList

Enumeration Type Documentation

enum pddl_planner::representation::Quantor

Enumerator
UNKNOWN_QUANTOR
FORALL
EXISTS

Variable Documentation

std::map< Quantor, std::string > pddl_planner::representation::QuantorTxt

Initial value:

= boost::assign::map_list_of
    (FORALL, "forall")
    (EXISTS, "exists")