Class TypesHolder

• Defined in File ToFunction.h

Inheritance Relationships

Base Type

• public SAS::ValHolder (Class ValHolder)

Class Documentation

class TypesHolder : public SAS::ValHolder

Public Functions

inline TypesHolder(const pddl_type *pt, const PropertyState *ps, PropertySpace *psp, Property *p, const vector<pddl_type*> &pts)

inline virtual void write(ostream &o) const

inline virtual bool operator==(const ValHolder &v) const

inline virtual bool equivalent(const ValHolder *v) const