Class imply_goal

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::goal (Class goal)

Class Documentation

class imply_goal : public VAL::goal 

Public Functions

inline imply_goal(goal *lhs, goal *rhs)

inline virtual ~imply_goal()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

inline const goal *getAntecedent() const

inline const goal *getConsequent() const