Class SimpleEvaluator

Defined in File SimpleEval.h

Inheritance Relationships

Base Type

public VAL::VisitController (Struct VisitController)

Class Documentation

class SimpleEvaluator : public VAL::VisitController 

Public Functions

template<typename PEC> inline SimpleEvaluator(VAL::TypeChecker *const tcIn, VAL::FastEnvironment *const ff, PrimitiveEvaluatorConstructor<PEC> pec)

inline ~SimpleEvaluator()

inline bool reallyTrue() const

inline bool reallyFalse() const

inline void prepareForVisit(VAL::FastEnvironment *const ff)

virtual void visit_simple_goal(VAL::simple_goal*)

virtual void visit_qfied_goal(VAL::qfied_goal*)

virtual void visit_conj_goal(VAL::conj_goal*)

virtual void visit_disj_goal(VAL::disj_goal*)

virtual void visit_timed_goal(VAL::timed_goal*)

virtual void visit_imply_goal(VAL::imply_goal*)

virtual void visit_neg_goal(VAL::neg_goal*)

virtual void visit_comparison(VAL::comparison*)

virtual void visit_preference(VAL::preference*)

virtual void visit_event(VAL::event *e)

virtual void visit_process(VAL::process *p)

virtual void visit_action(VAL::action *o)

virtual void visit_derivation_rule(VAL::derivation_rule *o)

virtual void visit_durative_action(VAL::durative_action *da)

bool equiv(const VAL::parameter_symbol_list*, const VAL::parameter_symbol_list*)

virtual void visit_plus_expression(VAL::plus_expression *s)

virtual void visit_minus_expression(VAL::minus_expression *s)

virtual void visit_mul_expression(VAL::mul_expression *s)

virtual void visit_div_expression(VAL::div_expression *s)

virtual void visit_uminus_expression(VAL::uminus_expression *s)

virtual void visit_int_expression(VAL::int_expression *s)

virtual void visit_float_expression(VAL::float_expression *s)

virtual void visit_special_val_expr(VAL::special_val_expr *s)

virtual void visit_func_term(VAL::func_term *s)

Public Static Functions

static inline void setInitialState()

Public Static Attributes

static bool verbose

Protected Attributes

bool valueTrue

bool unknownTrue

bool valueFalse

bool unknownFalse

VAL::TypeChecker *tc

VAL::FastEnvironment *f

VAL::pred_symbol *const equality

bool isFixed

bool undefined

double nvalue

bool isDuration

PrimitiveEvaluator *const primev