Class instantiatedOp

Defined in File instantiation.h

Nested Relationships

Nested Types

Class Documentation

class instantiatedOp

Public Types

typedef VAL::FastEnvironment::const_iterator const_iterator

Public Functions

inline instantiatedOp(const VAL::operator_ *o, VAL::FastEnvironment *e)

inline ~instantiatedOp()

inline void write(ostream &o) const

inline int arity() const

inline const VAL::const_symbol *getArg(int i) const

void collectLiterals(VAL::TypeChecker *tc)

inline const_iterator begin() const

inline const_iterator end() const

inline const VAL::operator_ *forOp() const

inline VAL::FastEnvironment *getEnv()

inline const VAL::operator_symbol *getHead() const

inline int getID() const

inline void setID(int x)

PropEffectsIterator addEffectsBegin()

PropEffectsIterator addEffectsEnd()

PropEffectsIterator delEffectsBegin()

PropEffectsIterator delEffectsEnd()

PNEEffectsIterator PNEEffectsBegin()

PNEEffectsIterator PNEEffectsEnd()

bool isGoalMetByOp(const Literal *lit)

bool isGoalMetByEffect(const VAL::effect_lists *effs, const Literal *lit)

bool isGoalMetByEffect(VAL::simple_effect *seff, const Literal *lit)

bool isGoalMetByEffect(VAL::forall_effect *fleff, const Literal *lit)

bool isGoalMetByEffect(VAL::cond_effect *ceff, const Literal *lit)

bool isGoalMetByEffect(VAL::timed_effect *teff, const Literal *lit)

Public Static Functions

static void instantiate(const VAL::operator_ *op, const VAL::problem *p, VAL::TypeChecker &tc)

static void filterOps(VAL::TypeChecker*const)

static inline void opErase(const instantiatedOp *o)

static void writeAll(ostream &o)

static inline int howMany()

static inline int howManyLiterals()

static inline int howManyPNEs()

static void createAllLiterals(VAL::problem *p, VAL::TypeChecker *tc)

static void writeAllLiterals(ostream &o)

static void writeAllPNEs(ostream &o)

static inline OpStore::iterator opsBegin()

static inline OpStore::iterator opsEnd()

static inline PNEStore::iterator pnesBegin()

static inline PNEStore::iterator pnesEnd()

static inline LiteralStore::iterator literalsBegin()

static inline LiteralStore::iterator literalsEnd()

static inline map<VAL::pddl_type*, vector<VAL::const_symbol*>> &getValues()

static inline instantiatedOp *getInstOp(int i)

template<typename TI> static inline instantiatedOp *getInstOp(const VAL::operator_ *op, TI sp, TI ep)

template<typename TI> static inline instantiatedOp *getInstOp(VAL::operator_symbol *osym, TI sp, TI ep)

template<typename TI> static inline instantiatedOp *getInstOp(const string &opname, TI sp, TI ep)

template<typename TI> static inline instantiatedOp *findInstOp(VAL::operator_symbol *osym, TI sp, TI ep)

static inline OpStore::iterator from(int k)

static inline Literal *getLiteral(Literal *l)

static inline Literal *findLiteral(Literal *l)

static inline void preventFurtherModificationOfLiterals()

static inline PNE *getPNE(PNE *p)

static inline PNE *findPNE(PNE *p)

static inline set<Literal*> allLiterals(const VAL::pred_symbol *p)

static inline set<PNE*> allPNEs(const VAL::func_symbol *f)

Public Static Attributes

static const VAL::operator_ *insistOnOp

static vector<VAL::const_symbol*> insistOnOpParameters

static const instantiatedOp *opBeforeFiltering

Friends

friend class Collector

class PNEEffectsIterator

Public Functions

inline PNEEffectsIterator(instantiatedOp *io)

inline void toEnd()

inline bool operator==(const PNEEffectsIterator &i) const

inline bool operator!=(const PNEEffectsIterator &i) const

inline PNE *operator*()

inline PNEEffectsIterator &operator++()

inline const VAL::expression *getUpdate()

inline const VAL::assign_op getOp() const

class PropEffectsIterator

Public Functions

inline PropEffectsIterator(instantiatedOp *io, bool pos)

inline void toEnd()

inline bool operator==(const PropEffectsIterator &i) const

inline bool operator!=(const PropEffectsIterator &i) const

inline PropEffectsIterator &operator++()

inline Literal *operator*()