Class simple_effect
Defined in File ptree.h
Inheritance Relationships
Base Type
public VAL::effect
(Class effect)
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
-
inline simple_effect(proposition *eff)