Declaration :

• C++ : class Constraint : public Allocation

All public operations : get_repr , resolve