Class TypePredSubstituter

Defined in File TypedAnalyser.h

Inheritance Relationships

Base Type

public VAL::VisitController (Struct VisitController)

Class Documentation

class TypePredSubstituter : public VAL::VisitController 

Public Functions

inline virtual void visit_simple_goal(simple_goal *s)

inline virtual void visit_proposition(proposition *p)

inline virtual void visit_qfied_goal(qfied_goal *p)

inline virtual void visit_conj_goal(conj_goal *p)

inline virtual void visit_disj_goal(disj_goal *p)

inline virtual void visit_timed_goal(timed_goal *p)

inline virtual void visit_imply_goal(imply_goal *p)

inline virtual void visit_neg_goal(neg_goal *p)

inline virtual void visit_preference(preference *p)

inline virtual void visit_constraint_goal(constraint_goal *cg)

inline virtual void visit_simple_effect(simple_effect *p)

inline virtual void visit_forall_effect(forall_effect *p)

inline virtual void visit_cond_effect(cond_effect *p)

inline virtual void visit_timed_effect(timed_effect *p)

inline virtual void visit_timed_initial_literal(timed_initial_literal *p)

inline virtual void visit_effect_lists(effect_lists *p)

inline virtual void visit_operator_(operator_ *p)

inline virtual void visit_derivation_rule(derivation_rule *r)

inline virtual void visit_action(action *p)

inline virtual void visit_durative_action(durative_action *p)

inline virtual void visit_process(process *p)

inline virtual void visit_event(event *p)

inline virtual void visit_problem(problem *p)

inline virtual void visit_domain(domain *p)

inline virtual void visit_pred_decl(pred_decl *p)