Declaration :

• C++ : class Constraint : public Allocation

All public operations : chain , get_repr , resolve