Class ValueElement

Defined in File ToFunction.h

Class Documentation

class ValueElement

Public Functions

inline ValueElement(const PropertyState *p, const vector<VElement*> &vs)

ValueElement(ValueElement *vel, FastEnvironment *fe)

inline void write(ostream &o) const

inline const PropertyState *getPS() const

inline VElement *operator[](int i)

inline size_t size() const

inline void showValue(ostream &o) const

inline bool matches(ValueElement *vel, FastEnvironment *fenv)