This function creates a constraint which enforces the truth values of constraints ct1 and ct2 to be opposing. That is, the constraints can never be both violated nor satisfied at the same time.

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 operator creates and returns an inequality constraint between its arguments.

When one or both of its arguments are constrained integer expressions, then when you post it, this constraint is associated with the whenRange propagation event.

When both of its arguments are constraints (instances of IlcConstraint), the constraint that this operator creates and returns is the exclusive disjunction of its two arguments. That is, the two arguments will be different from each other.

When you create a constraint, it has no effect until you post it.

This overloaded C++ operator constrains its two arguments to be unequal (that is, different from each other). In order to be taken into account, this constraint must be added to a model and extracted for an algorithm.