Class goal

Inheritance Relationships

Base Type

Derived Types

Class Documentation

class goal : public VAL::parse_category

Subclassed by VAL::comparison, VAL::con_goal, VAL::disj_goal, VAL::imply_goal, VAL::neg_goal, VAL::simple_goal, VAL::timed_goal

Public Functions

virtual void display(int ind) const
virtual void write(ostream &o) const
virtual void visit(VisitController *v) const