Class Property

Defined in File TimSupport.h

Class Documentation

class Property

Public Types

typedef vector<PropertySpace*>::iterator SpaceIt

typedef vector<TIMobjectSymbol*>::iterator ObjectIt

Public Functions

inline Property()

inline Property(VAL::pred_symbol *p, int a)

inline void setSV(bool sv, bool rq)

inline bool isSingleValued() const

inline bool isRequired() const

inline void write(ostream &o) const

inline void addIn(PropertySpace *p)

inline SpaceIt begin()

inline SpaceIt end()

inline void add(TIMobjectSymbol *t)

inline ObjectIt oBegin()

inline ObjectIt oEnd()

Property *getBaseProperty(const VAL::pddl_type *pt) const

vector<Property*> matchers()

bool matches(const VAL::extended_pred_symbol *prop, VAL::pddl_type *pt)

bool applicableTo(VAL::TypeChecker &tc, const VAL::pddl_type *tp) const

inline int familySize() const

inline int aPosn() const

inline const VAL::extended_pred_symbol *root() const

bool equivalent(const Property *p) const