Class ActionLinker

Defined in File PlanExecutionTracker.h

Inheritance Relationships

Base Type

public VAL::VisitController (Struct VisitController)

Class Documentation

class ActionLinker : public VAL::VisitController 

Public Functions

inline ActionLinker(map<const SimpleProposition*, const Happening*> &l, map<const SimpleProposition*, const Happening*> &sp, const Action *a, Validator *v, set<const SimpleProposition*> &ins, const Happening *h)

inline virtual void visit_simple_goal(simple_goal *s)

inline virtual void visit_qfied_goal(qfied_goal*)

inline virtual void visit_conj_goal(conj_goal *c)

inline virtual void visit_disj_goal(disj_goal *d)

inline virtual void visit_timed_goal(timed_goal *t)

inline virtual void visit_imply_goal(imply_goal*)

inline virtual void visit_neg_goal(neg_goal *ng)