Class qfied_goal

• Defined in File ptree.h

Inheritance Relationships

Base Type

• public VAL::con_goal (Class con_goal)

Class Documentation

class qfied_goal : public VAL::con_goal

Public Functions

inline qfied_goal(quantifier q, var_symbol_list *vl, goal *g, var_symbol_table *s)

inline virtual ~qfied_goal()

inline const quantifier getQuantifier() const

inline const var_symbol_list *getVars() const

inline const var_symbol_table *getSymTab() const

inline const goal *getGoal() const

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const