Declaration :

• C++ : class Constraint : public Allocation

All public operations : resolve