This function creates a constraint which enforces the violation of constraint ct.

A constraint needs to be added to an instance of IlcCPEngine (either directly, or indirectly) for it to take effect. Normally this is done through casting a constraint to a goal and using it in a choice point (IlcOr).

This overloaded C++ operator returns a constraint that is the negation of its argument. In order to be taken into account, this constraint must be added to a model and extracted by an algorithm, such as IloCplex or IloSolver.