Class Proposition

• Defined in File Proposition.h

Inheritance Relationships

Derived Types

• public VAL::Comparison (Class comparison)

• public VAL::ConjGoal (Class ConjGoal)

• public VAL::ConstraintGoal (Class ConstraintGoal)

• public VAL::DerivedGoal (Class DerivedGoal)

• public VAL::DisjGoal (Class DisjGoal)

• public VAL::FalseProposition (Class FalseProposition)

• public VAL::ImplyGoal (Class ImplyGoal)

• public VAL::NegGoal (Class NegGoal)

• public VAL::PreferenceGoal (Class PreferenceGoal)

• public VAL::QfiedGoal (Class QfiedGoal)

• public VAL::SimpleProposition (Class SimpleProposition)

Class Documentation

class Proposition

Subclassed by VAL::Comparison, VAL::ConjGoal, VAL::ConstraintGoal, VAL::DerivedGoal, VAL::DisjGoal, VAL::FalseProposition, VAL::ImplyGoal, VAL::NegGoal, VAL::PreferenceGoal, VAL::QfiedGoal, VAL::SimpleProposition

Public Functions

inline virtual ~Proposition()

inline Proposition(const Environment &bs)

virtual pair<int, int> rank() const = 0

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

virtual Intervals getIntervals(const State *s) const = 0

virtual string getPropString(const State *s) const = 0

virtual set<const SimpleProposition*> getLiterals() const = 0

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

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

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

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

virtual void resetCtsFunctions() = 0

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

inline double getEndOfInterval() const

inline bool markOwnedPreconditions(const Action *a, Ownership &o) const

inline virtual void write(ostream &o) const

inline virtual void destroy() const

Protected Attributes

const Environment &bindings

double endOfInterval