Class simple_effect

Inheritance Relationships

Base Type

Class Documentation

class simple_effect : public VAL::effect

Public Functions

inline simple_effect(proposition *eff)
inline virtual ~simple_effect()
virtual void display(int ind) const
virtual void write(ostream &o) const
virtual void visit(VisitController *v) const

Public Members

proposition *prop