Class Happening

• Defined in File Plan.h

Nested Relationships

Nested Types

• Template Struct Happening::select2nd

Class Documentation

class Happening

Public Functions

Happening(Validator *v, const vector<pair<double, Action*>> &as, double timeEndPlan)

Happening(Validator *v, double timeToExecute, const vector<pair<double, Action*>> &as)

Happening(Validator *v, vector<const Action*> acts, bool event = false)

Happening(Validator *v, vector<const Action*> acts, double t, bool event = false)

~Happening()

void adjustContext(ExecutionContext&) const

void adjustContextInvariants(ExecutionContext&) const

void adjustActiveCtsEffects(ActiveCtsEffects&) const

inline double getTime() const

inline int getNoActions() const

inline const vector<const Action*> *getActions() const

inline void clearActions()

bool canHappen(const State *s) const

bool applyTo(State *s) const

void write(ostream &o) const

inline bool isAfterPlan() const

inline bool isRegularHappening() const

inline void inject(Action *a)

Friends

friend class ExecutionContext

friend class ActiveCtsEffects