[gecode-users] Creating a boolvar and testing if one condition at least is true

Sébastien Laigre sebastien.laigre at gmail.com
Wed Oct 8 11:49:36 CEST 2008


Hi !

I'm starting with gecode, and it's a bit difficult for me.
I have 3 conditions, one of them must be true. So i want to put them
in an BoolArray. But I do not know how to do that.
For example, I would like to do
array[0] = x < y;
array[1] = a < b;
array[2] = c < d;
and that one (at least) condition of the array is true.

I hope I'm enought clear. Thank you in advance.




More information about the gecode-users mailing list