Struct ExecutionContext

Defined in File Plan.h

Struct Documentation

struct ExecutionContext

Public Functions

ExecutionContext(Validator *v)

void addInvariant(const InvariantAction *a)

void removeInvariant(const InvariantAction *a)

void addCondAction(const CondCommunicationAction *ca)

bool removeCondAction(const CondCommunicationAction *ca)

void setTime(double t)

void setActiveCtsEffects(ActiveCtsEffects *ace)

inline const Happening *getInvariants() const

bool hasInvariants() const

~ExecutionContext()

Public Members

Happening invariants