Class event

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::operator_ (Class operator_)

Class Documentation

class event : public VAL::operator_

Public Functions

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

inline virtual ~event()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const