Class NullHolder

• Defined in File ToFunction.h

Inheritance Relationships

Base Type

• public SAS::ValHolder (Class ValHolder)

Class Documentation

class NullHolder : public SAS::ValHolder

Public Functions

inline NullHolder(const pddl_type *pt, const PropertyState *ps, PropertySpace *psp, Property *p)

inline virtual void write(ostream &o) const

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

inline virtual bool equivalent(const ValHolder *v) const