This aggregator groups logical constraints of the form:

 IloIfThen(ct1, ct1)
 

and

 ct1 == ct2
 

where ct1 and ct2 are constraints of the type x == a or x != a (where x is an IloIntVar and a an integer constant). It improves propagation efficiency and reduces memory consumption on these constraints.