Class constraint_goal

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::con_goal (Class con_goal)

Class Documentation

class constraint_goal : public VAL::con_goal 

Public Functions

inline constraint_goal(constraint_sort c, goal *g)

inline constraint_goal(constraint_sort c, goal *req, goal *tri)

inline constraint_goal(constraint_sort c, goal *req, goal *tri, double d, double f)

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

inline constraint_sort getCons() const

inline goal *getTrigger() const

inline goal *getRequirement() const

inline double getDeadline() const

inline double getFrom() const