Class DerivedGoal

Defined in File Proposition.h

Inheritance Relationships

Base Type

public VAL::Proposition (Class proposition)

Class Documentation

class DerivedGoal : public VAL::Proposition 

Public Functions

inline DerivedGoal(const parse_category *p, const Proposition *f, const Environment &bs)

inline DerivedGoal(const parse_category *p, const Proposition *f)

virtual bool evaluate(const State *s, 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 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

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

virtual void resetCtsFunctions()

void removeCalledDP(string dp) const

void addCalledDP(string dp) const

string getDPName() const

bool visited() const

bool visited(string dp) const

inline void setRevisit(bool b) const

virtual void write(ostream &o) const

inline ~DerivedGoal()

Public Static Functions

static void resetLists(const State *s)

static inline void resetPreConsList()

static inline void setACE(const ActiveCtsEffects *a, bool r)