Class ConstraintGoal

Defined in File Proposition.h

Inheritance Relationships

Base Type

public VAL::Proposition (Class proposition)

Class Documentation

class ConstraintGoal : public VAL::Proposition 

Public Functions

inline ConstraintGoal(Validator *v, const constraint_goal *cg, const Proposition *t, const Proposition *r, const Environment &bs)

inline constraint_sort getCons() const

inline const Proposition *getTrigger() const

inline const Proposition *getRequirement() const

inline double getFrom() const

inline double getDeadline() const

virtual void resetCtsFunctions()

inline ~ConstraintGoal()

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

virtual Intervals getIntervals(const State *s) const

virtual string getPropString(const State *s) 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 const AdviceProposition *getAdviceProp(const State *s) const

virtual void write(ostream &o) const