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

ActionList

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

ArgumentList

typedef TypedItemList pddl_planner::representation::ArgumentList

ArityMap

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

Constant

typedef TypedItem pddl_planner::representation::Constant

ConstantList

typedef TypedItemList pddl_planner::representation::ConstantList

ExpressionList

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

ExpressionPtrList

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

Function

typedef Predicate pddl_planner::representation::Function

FunctionList

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

Label

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

Operator

typedef Label pddl_planner::representation::Operator

ParameterList

typedef TypedItemList pddl_planner::representation::ParameterList

PredicateList

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

Requirement

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

RequirementList

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

Type

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

TypedItemList

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

TypeList

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

Enumeration Type Documentation

Quantor

enum pddl_planner::representation::Quantor

Enumerator
UNKNOWN_QUANTOR
FORALL
EXISTS

Variable Documentation

QuantorTxt

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

Initial value:

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