Class InitialValue

Inheritance Relationships

Base Type

Class Documentation

class InitialValue : public Inst::Constraint

Public Functions

inline InitialValue(BoundedValue *b)
virtual void write(ostream &o) const