Class SimplePropStore

Defined in File TypedAnalyser.h

Inheritance Relationships

Base Type

public VAL::PropStore (Class PropStore)

Class Documentation

class SimplePropStore : public VAL::PropStore 

Public Types

typedef CascadeMap<parameter_symbol*, PropInfo>::iterator iterator

Public Functions

inline SimplePropStore()

inline SimplePropStore(extended_pred_symbol *e)

inline void setEP(extended_pred_symbol *e)

inline extended_pred_symbol *getEP()

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

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

inline virtual void write(ostream &o) const

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

inline iterator begin()

inline iterator end()

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