Class Domain

Defined in File Domain.hpp

Class Documentation

class Domain

Public Functions

inline Domain()

inline explicit Domain(const std::string &s)

inline virtual ~Domain()

inline virtual void parse(const std::string &s)

inline virtual bool parseBlock(const std::string &t, Stringreader &f): Returns a boolean indicating whether the block was correctly parsed.

inline void parseRequirements(Stringreader &f)

inline virtual bool parseRequirement(const std::string &s): Returns a boolean indicating whether the requirement was correctly parsed.

inline Type *getType(std::string s)

inline IntVec convertTypes(const StringVec &v)

inline void parseTypes(Stringreader &f)

inline void parseConstants(Stringreader &f)

inline void parsePredicates(Stringreader &f)

inline void parseFunctions(Stringreader &f)

inline virtual void parseAction(Stringreader &f)

inline void parseDerived(Stringreader &f)

inline void parseDurativeAction(Stringreader &f)

inline TokenStruct<Type*> copyTypes()

inline void setTypes(const TokenStruct<Type*> &otherTypes)

inline void createType(const std::string &name, const std::string &parent = "object")

inline void createConstant(const std::string &name, const std::string &type)

inline Lifted *createPredicate(const std::string &name, const StringVec &params = StringVec())

inline Lifted *createFunction(const std::string &name, int type, const StringVec &params = StringVec())

inline Action *createAction(const std::string &name, const StringVec &params = StringVec())

inline void setPre(const std::string &act, Condition *cond)

inline void addPre(bool neg, const std::string &act, const std::string &pred, const IntVec &params = IntVec())

inline void addOrPre(const std::string &act, const std::string &pred1, const std::string &pred2, const IntVec &params1 = IntVec(), const IntVec &params2 = IntVec())

inline void setEff(const std::string &act, Condition *cond)

inline void addEff(bool neg, const std::string &act, const std::string &pred, const IntVec &params = IntVec())

inline void addCost(const std::string &act, int cost)

inline void addCost(const std::string &act, const std::string &func, const IntVec &params = IntVec())

inline void addFunctionModifier(const std::string &act, FunctionModifier *fm)

inline Ground *ground(const std::string &name, const IntVec &params = IntVec())

inline StringVec typeList(ParamCond *c)

inline StringVec objectList(Ground *g)

inline void addParams(const std::string &name, const StringVec &v)

inline bool assertSubtype(int t1, int t2)

inline bool isConstant(const std::string &name)

inline IntPair constantTypeIdConstId(const std::string &name)

inline int constantIndex(const std::string &name, const std::string &type)

inline virtual std::ostream &print(std::ostream &os) const

inline virtual std::ostream &print_requirements(std::ostream &os) const

inline virtual std::ostream &print_addtional_blocks(std::ostream &os) const

inline virtual Condition *createCondition(Stringreader &f)

Public Members

std::string name

bool equality

bool strips

bool adl

bool condeffects

bool typed

bool cons

bool costs

bool temp

bool nondet

bool neg

bool disj

bool universal

bool fluents

bool derivedpred

bool existentialcond

TokenStruct<Type*> types

TokenStruct<Lifted*> preds

TokenStruct<Function*> funcs

TokenStruct<Action*> actions

TokenStruct<Derived*> derived

TokenStruct<Task*> tasks

Friends

inline friend std::ostream &operator<<(std::ostream &os, const Domain &o): Prints a PDDL representation of the object to the given stream.