Domain.hpp File Reference

#include <string>
#include <map>
#include <vector>
#include <stdint.h>
#include <limits>
#include <stdexcept>
#include <cstdarg>
#include <stack>

Go to the source code of this file.

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

Namespaces
	pddl_planner
	pddl_planner::representation

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

Enumerations
enum	pddl_planner::representation::Quantor { pddl_planner::representation::UNKNOWN_QUANTOR, pddl_planner::representation::FORALL, pddl_planner::representation::EXISTS }