This function creates a constraint which enforces the truth values of constraints ct1 and ct2 to be equal. That is, either both constraints are satisfied or both are violated

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 equality constraint between its arguments.

If one or both of its arguments are constrained floating-point or integer variables, then when you post this constraint, it will be associated with the whenRange propagation event.

When both of its arguments are constraints (instances of IlcConstraint), then the constraint that this operator creates and returns forces its two arguments to be equivalent.

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

This overloaded C++ operator constrains its two arguments to be equal. In order to be taken into account, this constraint must be added to a model and extracted for an algorithm.

This operator returns IloTrue if the functions f1 and f2 are the same. That is, IloTrue is returned if they have the same definition interval and if they have the same value over time. Note that it compares the content of the functions as well as the equality of implementation pointer. See also: IloNumToNumStepFunction.