Class assignment

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::effect (Class effect)

Class Documentation

class assignment : public VAL::effect 

Public Functions

inline assignment(func_term *ft, assign_op a_op, expression *e)

inline virtual ~assignment()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

inline const func_term *getFTerm() const

inline const expression *getExpr() const

inline const assign_op getOp() const