Class PropStore

Defined in File TypedAnalyser.h

Inheritance Relationships

Derived Types

public VAL::CompoundPropStore (Class CompoundPropStore)
public VAL::SimplePropStore (Class SimplePropStore)

Class Documentation

class PropStore

Subclassed by VAL::CompoundPropStore, VAL::SimplePropStore

Public Functions

inline virtual ~PropStore()

virtual PropInfo *get(const proposition *p) const = 0

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

virtual void write(ostream &o) const = 0

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

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

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

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

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

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