Class SimpleProposition

Defined in File Proposition.h

Inheritance Relationships

Base Type

public VAL::Proposition (Class proposition)

Class Documentation

class SimpleProposition : public VAL::Proposition 

Public Functions

inline SimpleProposition(const parse_category *p, const Environment &bs)

inline SimpleProposition(const parse_category *p)

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

inline ~SimpleProposition()

virtual Intervals getIntervals(const State *s) const

virtual string getPropString(const State *s) const

inline string getPropName() const

string getParameter(int paraNo) const

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

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

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

const_symbol_list *getConstants(var_symbol_list *variables, parameter_symbol_list *psl, Validator *vld) const

bool checkParametersConstantsMatch(parameter_symbol_list *psl) const

bool checkConstantsMatch(parameter_symbol_list *psl) 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()

inline const pred_symbol *getPred() const

inline const proposition *getProp() const

inline const Environment *getEnv() const

virtual void write(ostream &o) const

string toString() const

inline virtual void destroy() const