Class conj_goal

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::con_goal (Class con_goal)

Class Documentation

class conj_goal : public VAL::con_goal 

Public Functions

inline conj_goal(goal_list *gs)

inline virtual ~conj_goal()

inline const goal_list *getGoals() const

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const