Class State

Defined in File State.h

Nested Relationships

Nested Types

Class State::const_iterator

Class Documentation

class State

Public Functions

State(Validator *const v, const effect_lists *is)

State &operator=(const State &s)

inline const double getTolerance() const

inline Validator *getValidator() const

inline double getTime() const

bool progress(const Happening *h)

bool progressCtsEvent(const Happening *h)

bool evaluate(const SimpleProposition *p) const

FEScalar evaluate(const FuncExp *fe) const

FEScalar evaluate(const expression *e, const Environment &bs) const

void add(const SimpleProposition*)

void del(const SimpleProposition*)

void update(const FuncExp *fe, assign_op aop, FEScalar value)

inline const LogicalState &getLogicalState() const

void addChange(const SimpleProposition*)

void delChange(const SimpleProposition*)

void updateChange(const FuncExp *fe, assign_op aop, FEScalar value)

inline set<const SimpleProposition*> getChangedLiterals() const

inline set<const FuncExp*> getChangedPNEs() const

inline void resetChanged()

void setNew(const effect_lists *effs)

inline void write(ostream &o) const

inline const_iterator begin() const

inline const_iterator end() const

inline void nowUpdated(const Happening *h)

inline bool hasObservers() const

Public Static Functions

static inline void addObserver(StateObserver *s)

Friends

friend class FuncExp

class const_iterator

Public Functions

inline const_iterator(const State &s)

inline bool operator==(const const_iterator &itr) const

inline bool operator!=(const const_iterator &itr) const

inline const_iterator &operator++()

inline const SimpleProposition *operator*() const

inline void toEnd()