Class Comparison

• Defined in File Proposition.h

Inheritance Relationships

Base Type

• public VAL::Proposition (Class proposition)

Class Documentation

class Comparison : public VAL::Proposition

Public Functions

inline Comparison(const comparison *c, const Environment &bs)

virtual bool evaluate(const State *s, vector<const DerivedGoal*> = vector<const DerivedGoal*>()) const

bool evaluateAtPoint(const State *s) const

bool evaluateAtPointError(const State *s) const

virtual bool evaluateAtPointWithinError(const State *s, vector<const DerivedGoal*> = vector<const DerivedGoal*>()) const

virtual Intervals getIntervals(const State *s) const

inline const comparison *getComparison() const

virtual string getPropString(const State *s) const

string getPropAdviceString(const State *s) const

string getExprnString(const expression *e, const Environment &bs, const State *s) const

string getExprnString(const expression *e, const Environment &bs) const

virtual set<const SimpleProposition*> getLiterals() const

virtual pair<int, int> rank() const

virtual bool markOwnedPreconditions(const Action *a, Ownership &o, ownership w) const

virtual void setUpComparisons(const ActiveCtsEffects *ace, bool rhsOpen = false)

virtual void resetCtsFunctions()

virtual const AdviceProposition *getAdviceProp(const State *s) const

virtual const AdviceProposition *getAdviceNegProp(const State *s) const

vector<CoScalar> getRoots(const State *s, CoScalar t) const

vector<CoScalar> getRootsForIntervals(const State *s, CoScalar t) const

virtual void write(ostream &o) const

inline ~Comparison()