Class UpdateValue

• Defined in File graphconstruct.h

Inheritance Relationships

Base Type

• public Inst::Constraint (Class Constraint)

Class Documentation

class UpdateValue : public Inst::Constraint

Public Functions

inline UpdateValue(ActEntry *ae, const VAL::expression *e, const VAL::assign_op o, BoundedValue *b)

virtual void write(ostream &o) const