Class SASActionTemplate

• Defined in File SASActions.h

Class Documentation

class SASActionTemplate

Public Types

typedef VMap::const_iterator iterator

Public Functions

inline SASActionTemplate(operator_ *o, const VMap &pres, const VMap &posts, const vector<proposition*> &sts, const vector<proposition*> &opres, const vector<proposition*> &oposts)

inline iterator precondsBegin() const

inline iterator precondsEnd() const

inline iterator postcondsBegin() const

inline iterator postcondsEnd() const

inline void write(ostream &o) const

inline int preCount() const

inline const operator_ *getOp() const

bool checkPre(FunctionStructure *fs, FastEnvironment *fenv, const var_symbol *v, ValueRep *vrep)

void enact(FastEnvironment *fenv, Reachables &reachables, vector<proposition*> &others)

Public Static Functions

static inline vector<pair<const var_symbol*, SASActionTemplate*>> &findOps(const pddl_type *pt, int i)