Class PropertyState

Defined in File TimSupport.h

Class Documentation

class PropertyState

Public Types

typedef Properties::const_iterator PSIterator

Public Functions

inline void write(ostream &o) const

inline int count(Property *p) const

inline bool contains(Property *p) const

inline bool empty() const

inline size_t size() const

inline PSIterator begin() const

inline PSIterator end() const

inline PropertyState *adjust(const PropertyState *del, const PropertyState *add)

pair<PropertyState*, PropertyState*> split(Property*)

template<class TI> inline PropertyState *add(TI s, TI e)

Public Static Functions

template<class TI> static inline PropertyState *getPS(TIMAnalyser *tan, const VAL::pddl_type *pt, TI s, TI e)