Class ValHolder

Defined in File ToFunction.h

Inheritance Relationships

Derived Types

public SAS::NullHolder (Class NullHolder)
public SAS::PlaceHolder (Class PlaceHolder)
public SAS::TypesHolder (Class TypesHolder)

Class Documentation

class ValHolder

Subclassed by SAS::NullHolder, SAS::PlaceHolder, SAS::TypesHolder

Public Functions

inline ValHolder(const pddl_type *pt, const PropertyState *ps, PropertySpace *prpsp, Property *p)

inline virtual ~ValHolder()

virtual void write(ostream &o) const = 0

inline const PropertyState *getState() const

inline Property *getProp() const

inline const pddl_type *getType() const

inline PropertySpace *getSpace() const

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

inline virtual bool equivalent(const ValHolder *v) const

inline virtual void add(const PropertyState *ps)

Protected Attributes

PropertySpace *pspace

const PropertyState *pstate

const pddl_type *forThis

Property *prop