Class Validator

Defined in File Validator.h

Class Documentation

class Validator

Public Functions

inline Validator(const DerivationRules *dr, double tol, TypeChecker &tc, const operator_list *ops, const effect_lists *is, const plan *p, const metric_spec *m, bool lengthDefault, bool isDur, con_goal *cg1, con_goal *cg2)

~Validator()

bool execute()

bool checkGoal(const goal *g)

double finalValue() const

int simpleLength() const

bool durativePlan() const

inline double getTolerance() const

inline void registerAction(Action *a)

inline void addInvariantWarning(string s)

inline bool hasInvariantWarnings() const

void displayInvariantWarnings() const

void displayPlan() const

void displayInitPlanLaTeX(const plan *p) const

void displayInitPlan(const plan *p) const

void displayLaTeXGraphs() const

void setMaxTime()

void setSigObjs(vector<string> &objects)

inline double getMaxTime()

bool graphsToShow() const

FEGraph *getGraph(const FuncExp *fe)

void drawLaTeXGantt(int noPages, int noPageRows)

inline bool hasEvents() const

inline Events &getEvents()

double getNextHappeningTime() const

double getCurrentHappeningTime() const

bool isLastHappening() const

inline ErrorLog &getErrorLog()

inline analysis *getAnalysis() const

inline void adjustActiveCtsEffects(ActiveCtsEffects *ace)

inline ActiveCtsEffects *getActiveCtsEffects()

inline ExecutionContext *getExecutionContext()

inline const State &getState() const

inline void setState(const effect_lists *effs)

bool executeHappening(const Happening *h)

bool executeHappeningCtsEvent(const Happening *h)

inline const DerivationRules *getDerivRules() const

vector<const_symbol*> range(const var_symbol *v)

inline Plan::const_iterator begin() const

inline Plan::const_iterator end() const

inline Plan::const_iterator recoverStep()

double timeOf(const Action *a) const

inline void countViolation(const State *s, const string &nm, const AdviceProposition *a)

inline int violationsFor(const string &nm)

void reportViolations() const

inline void resetStep(const Plan::const_iterator &n)

Public Members

FuncExpFactory fef

PropositionFactory pf