Class TemporalAnalysis

Defined in File temporalanalysis.h

Class Documentation

class TemporalAnalysis

Public Static Functions

static void dummyAnalysis()

static void processTILDeadlines()

static void findGoalDeadlines(list<Literal*>&, list<double>&)

static inline vector<vector<pair<double, double>>> &getActionTSBounds()

static inline const list<pair<double, double>> *factIsVisibleInWindows(const Literal *const l)

static inline void suggestNewStartLowerBound(const int &a, const double &d)

static inline void suggestNewEndLowerBound(const int &a, const double &d)

static bool actionIsNeverApplicable(const int &a)

static inline bool okayToStart(const int &a, const double &ts)

static inline bool okayToEnd(const int &a, const double &ts)