Class SpikeEntry

• Defined in File graphconstruct.h

Inheritance Relationships

Derived Types

• public Inst::ActEntry (Class ActEntry)

• public Inst::FluentEntry (Class FluentEntry)

• public Inst::PropEntry (Class PropEntry)

Class Documentation

class SpikeEntry

Subclassed by Inst::ActEntry, Inst::FluentEntry, Inst::PropEntry

Public Functions

inline void addAt(int l)

inline virtual ~SpikeEntry()

inline virtual void write(ostream &o) const

inline int getWhen() const

inline virtual void lateEntry()