Class PropEntry

• Defined in File graphconstruct.h

Inheritance Relationships

Base Type

• public Inst::SpikeEntry (Class SpikeEntry)

Class Documentation

class PropEntry : public Inst::SpikeEntry

Public Functions

inline PropEntry(Literal *p)

inline int getID() const

inline virtual void write(ostream &o) const

inline bool represents(const Literal *lit) const

inline void setInitiallyFalse()

inline void addAchievedBy(ActEntry *ae)

inline void addDeletedBy(ActEntry *ae)

inline bool gotAchievers() const

inline bool gotDeleters() const

inline virtual void lateEntry()