Class ActEntry

• Defined in File graphconstruct.h

Inheritance Relationships

Base Type

• public Inst::SpikeEntry (Class SpikeEntry)

Class Documentation

class ActEntry : public Inst::SpikeEntry

Public Functions

bool isActivated(const vector<bool> &actives) const

bool isActivated(VAL::Validator *v, const VAL::State*) const

bool isRelevant(VAL::Validator *v, const VAL::State*) const

ActEntry(instantiatedOp *io)

inline instantiatedOp *getIO()

inline bool isEvent() const

inline bool represents(const instantiatedOp *op) const

inline void addUpdates(FluentEntry *fe)

inline void addAchieves(PropEntry *pe)

inline void addDeletes(PropEntry *pe)

inline void addSupportedBy(PropEntry *pe)

inline void addSupportedByNeg(PropEntry *pe)

virtual void write(ostream &o) const

inline bool isIterating() const

Public Static Functions

static inline void readDurations(const string &nm)