Class PropertySpace

Defined in File TimSupport.h

Class Documentation

class PropertySpace

Public Types

typedef vector<TIMobjectSymbol*>::const_iterator OIterator

typedef set<PropertyState*>::const_iterator SIterator

Public Functions

PropertySpace(Property *p, TransitionRule *t)

inline PropertySpace(Property *p)

void checkStateValued()

inline void merge(PropertySpace *ps)

inline vector<int> countsFor(Property *p)

inline void checkSV(vector<Property*> &sv)

void add(TransitionRule *t)

inline PropertySpace *finalise()

void assembleMutexes()

void assembleMutexes(TransitionRule*)

void assembleMutexes(Property*)

void assembleMutexes(Property*, Property*)

void assembleMutexes(VAL::operator_*, const mRec&)

void recordRulesInActions()

inline void add(PropertyState *ps)

inline void add(TIMobjectSymbol *t)

void write(ostream &o) const

inline bool isState() const

inline bool isStatic() const

inline void sortObjects()

bool contains(TIMobjectSymbol *to) const

inline OIterator obegin() const

inline OIterator oend() const

bool extend()

bool examine(vector<PropertySpace*>&)

PropertySpace *slice(Property *p)

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

inline SIterator begin() const

inline SIterator end() const

inline int numStates() const

bool isLockingSpace()