Originally posted by: Hosssein

Hi,

I need to have a condition like "if the value i is still in the domain of variable x[1]" in an IloIfThen constraint. The constraint will be like

IloIfThen((the value i is still in the domain of variable x[1]) and (some other conditions), x[2]!=j)

Is there any built-in method in CP optimizer to formulate this condition?

I have so many constraints in this form and hope that whenever during the propagation the value i is removed from the domain of x[1] this constraint be deleted from the list of propagator constraints.

Thanks

Originally posted by: Philippe_Refalo

Hi Hossein, 

I am not sure to understand the semantic of the constraint you want to express, can you clarify it in terms of solutions you want to have or to remove ?

A possibility is to simply add an ifThen((some other conditions), x[2]!=j) from the beggining when you observe that "the value i is still in the domain of variable x[1]" ? This way only the needed constraints will be added.

Philippe