This function constrains its first argument to imply its second argument. That is, if ct1 is satisfied, then ct2 will be posted; if ct2 is violated, then the opposite of ct1 will be posted. The effects of this function are reversible.

This function is appropriate for use only during a Solver search (that is, inside a constraint or goal). If you are looking for similar functionality as a constraint to add to a model, consider the function IloIfThen.

Implementation

Inside a goal or constraint, this function is equivalent to these lines:

 void IlcIfThen(IlcConstraint ct1, IlcConstraint ct2){
     IloSolver s = ct1.getSolver();
     s.add(!ct1 || ct2);
 }

For more information, see IloIfThen in the IBM ILOG Concert Technology Reference Manual.