Class PlaceHolder

Defined in File ToFunction.h

Inheritance Relationships

Base Type

public SAS::ValHolder (Class ValHolder)

Class Documentation

class PlaceHolder : public SAS::ValHolder 

Public Types

typedef vector<const PropertyState*>::const_iterator const_iterator

Public Functions

inline PlaceHolder(const pddl_type *pt, const PropertyState *ps, PropertySpace *prpsp)

inline virtual void write(ostream &o) const

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

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

inline virtual void add(const PropertyState *ps)

inline const_iterator begin() const

inline const_iterator end() const

inline void showValue(ostream &o) const