Class CompoundPropStore

Defined in File TypedAnalyser.h

Inheritance Relationships

Base Type

public VAL::PropStore (Class PropStore)

Class Documentation

class CompoundPropStore : public VAL::PropStore 

Public Types

typedef vector<SimplePropStore*>::iterator iterator

Public Functions

CompoundPropStore(int c, vector<pair<pddl_type*, vector<const pddl_type*>>> &tps, TMap &t, extended_pred_symbol *e, Associater *a)

inline virtual extended_pred_symbol *getEP(FastEnvironment *f, const proposition *p) const

inline virtual PropInfo *get(const proposition *p) const

inline virtual PropInfo *get(FastEnvironment *f, const proposition *p) const

inline virtual PropInfo *get(Environment *f, const proposition *p) const

virtual PropInfo *partialGet(FastEnvironment *f, const proposition *p) const

inline virtual void add(proposition *p, PropInfo *pi)

inline virtual void write(ostream &o) const

virtual void notify(void (extended_pred_symbol::* f)(operator_*, const proposition*), operator_ *o, const proposition *p)

inline iterator begin()

inline iterator end()