Class operator_

• Defined in File ptree.h

Inheritance Relationships

Base Type

• public VAL::structure_def (Class structure_def)

Derived Types

• public VAL::action (Class action)

• public VAL::durative_action (Class durative_action)

• public VAL::event (Class event)

• public VAL::process (Class process)

Class Documentation

class operator_ : public VAL::structure_def

Subclassed by VAL::action, VAL::durative_action, VAL::event, VAL::process

Public Functions

inline operator_()

inline operator_(operator_symbol *nm, var_symbol_list *ps, goal *pre, effect_lists *effs, var_symbol_table *st)

inline virtual ~operator_()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

inline virtual void add_to(operator_list *ops, derivations_list *dvs)

Public Members

operator_symbol *name

var_symbol_table *symtab

var_symbol_list *parameters

goal *precondition

effect_lists *effects