Class forall_effect

• Defined in File ptree.h

Inheritance Relationships

Base Type

• public VAL::effect (Class effect)

Class Documentation

class forall_effect : public VAL::effect

Public Functions

inline forall_effect(effect_lists *eff, var_symbol_list *vs, var_symbol_table *vt)

inline virtual ~forall_effect()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

inline const var_symbol_list *getVarsList() const

inline const var_symbol_table *getVars() const

inline const effect_lists *getEffects() const