Class FunctionStructure

• Defined in File ToFunction.h

Class Documentation

class FunctionStructure

Public Types

typedef SASActionTemplates::const_iterator iterator

Public Functions

FunctionStructure()

void initialise()

void processActions()

inline const ValueStructure &forType(const pddl_type *pt)

inline bool hasFluent(const pddl_type *pt) const

void normalise()

void restructure(const operator_ *op, const var_symbol *prm, const vector<const pddl_type*> &rtps)

void setUpInitialState()

bool growOneLevel()

inline int startFor(const operator_ *op) const

inline int endFor(const operator_ *op) const

bool tryMatchedPre(int k, instantiatedOp *iop, const var_symbol *var, SASActionTemplate *sasact, ValueRep *vrep)

void buildLayers()

inline iterator begin() const

inline iterator end() const