Struct ActiveCtsEffects

Defined in File Plan.h

Struct Documentation

struct ActiveCtsEffects

Public Functions

ActiveCtsEffects(Validator *v)

void addCtsEffect(const CtsEffectAction *a)

void removeCtsEffect(const CtsEffectAction *a)

void setTime(double t)

inline void setEventTime(double t)

inline double getEventTime() const

void setLocalUpdateTime(double ht)

void addActiveFEs(bool reCalc = false)

void addActiveFE(assignment *e, const Environment &bs)

void buildAFECtsFtns()

void visitActiveFE(ActiveFE *afe, vector<ActiveFE*> &topSAFEs)

const Polynomial *buildPoly(const ActiveFE *afe)

const CtsFunction *buildExp(const ActiveFE *afe)

const CtsFunction *buildNumericalSoln(const ActiveFE *afe)

inline const Happening *getCtsEffects() const

const Happening *getCtsEffectUpdate() const

bool hasCtsEffects() const

void clearCtsEffects()

bool areCtsEffectsLinear() const

bool isFEactive(const FuncExp *fe) const

~ActiveCtsEffects()

Public Members

Happening ctsEffects

map<const FuncExp*, ActiveFE*> activeFEs

bool ctsEffectsProcessed

mutable Happening ctsUpdateHappening

Validator *vld

double localUpdateTime

double eventTime