Class FalseProposition

Defined in File Proposition.h

Inheritance Relationships

Base Type

public VAL::Proposition (Class proposition)

Class Documentation

class FalseProposition : public VAL::Proposition 

Public Functions

inline FalseProposition(const Environment &bs, bool tp = false)

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

inline virtual Intervals getIntervals(const State *s) const

inline virtual string getPropString(const State *s) const

inline virtual set<const SimpleProposition*> getLiterals() const

inline virtual pair<int, int> rank() const

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

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

inline virtual void resetCtsFunctions()

inline virtual void write(ostream &o) const