Class Events

Defined in File Events.h

Class Documentation

class Events

Public Functions

Events(const operator_list *ops)

~Events()

string getName(operator_ *op, const_symbol_list *csl) const

inline vector<const Action*> getTriggeredEvents() const

bool triggerInitialEvents(Validator *v, double firstHappeningTime)

bool triggerEventsOnInterval(Validator *v, bool init)

bool triggerDiscreteEvents(Validator *v, bool init)

bool triggerDiscreteProcesses(Validator *v)

bool triggerContinuousEvents(Validator *v, bool init)

inline bool hasEvents() const

bool isTriggered(event *eve, const_symbol_list *csl) const

bool isProcessActive(process *pro, const_symbol_list *csl) const

bool isTriggered(const Action *act) const

bool isProcessTriggered(const StartAction *sa) const

bool isProcessUntriggered(process *pro, const_symbol_list *csl) const

void updateHappeningTime(double t)

void updateEventsForMutexCheck(Validator *v)

inline const vector<const Action*> &getEventsForMutexCheck() const