Class TIMAnalyser

Defined in File TimSupport.h

Inheritance Relationships

Base Type

public VAL::VisitController (Struct VisitController)

Class Documentation

class TIMAnalyser : public VAL::VisitController 

Public Types

typedef vector<PropertySpace*>::const_iterator const_iterator

Public Functions

inline TIMAnalyser(VAL::TypeChecker &tc, VAL::analysis *a)

inline VAL::TypeChecker &getTC()

void insertPre(int v, Property *p)

void insertEff(int v, Property *p)

void insertGoal(VAL::parameter_symbol *c, Property *p)

void insertInitial(VAL::parameter_symbol *c, Property *p, VAL::proposition *prp)

virtual void visit_simple_goal(VAL::simple_goal *p)

inline virtual void visit_qfied_goal(VAL::qfied_goal *p)

inline virtual void visit_conj_goal(VAL::conj_goal *p)

inline virtual void visit_disj_goal(VAL::disj_goal *p)

inline virtual void visit_timed_goal(VAL::timed_goal *p)

inline virtual void visit_imply_goal(VAL::imply_goal *p)

inline virtual void visit_neg_goal(VAL::neg_goal *p)

virtual void visit_simple_effect(VAL::simple_effect *p)

virtual void visit_simple_derivation_effect(VAL::derivation_rule *p)

inline virtual void visit_forall_effect(VAL::forall_effect *p)

inline virtual void visit_cond_effect(VAL::cond_effect *p)

inline virtual void visit_timed_effect(VAL::timed_effect *p)

inline virtual void visit_effect_lists(VAL::effect_lists *p)

inline virtual void visit_derivation_rule(VAL::derivation_rule *p)

inline virtual void visit_operator_(VAL::operator_ *p)

inline virtual void visit_action(VAL::action *p)

inline virtual void visit_durative_action(VAL::durative_action *p)

inline virtual void visit_domain(VAL::domain *p)

inline virtual void visit_problem(VAL::problem *p)

inline virtual void visit_const_symbol(VAL::const_symbol *p)

inline void checkSV()

set<PropertySpace*> relevant(VAL::pddl_type *tp)

void close(set<Property*> &seed, const VAL::pddl_type *pt)

inline const_iterator pbegin() const

inline const_iterator pend() const

inline const_iterator abegin() const

inline const_iterator aend() const

inline const_iterator sbegin() const

inline const_iterator send() const