Class FluentEntry

• Defined in File graphconstruct.h

Inheritance Relationships

Base Type

• public Inst::SpikeEntry (Class SpikeEntry)

Class Documentation

class FluentEntry : public Inst::SpikeEntry

Public Functions

inline FluentEntry(PNE *pne)

inline void addInitial(double d)

void addUpdatedBy(ActEntry *ae, const VAL::expression *expr, const VAL::assign_op op, PlanGraph *pg)

virtual void write(ostream &o) const

inline BoundedValue *getBV() const

inline bool represents(const PNE *pne) const

inline ~FluentEntry()

void transferValue()