Class pddl_typed_symbol

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::symbol (Class symbol)

Derived Types

public VAL::parameter_symbol (Class parameter_symbol)
public VAL::pddl_type (Class pddl_type)

Class Documentation

class pddl_typed_symbol : public VAL::symbol 

Subclassed by VAL::parameter_symbol, VAL::pddl_type

Public Functions

inline pddl_typed_symbol()

inline pddl_typed_symbol(const string &s)

inline virtual ~pddl_typed_symbol()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

Public Members

pddl_type *type

pddl_type_list *either_types