[gecode-users] Constraining domain of variable to the index set of Boolean array?

[Juan Carlos Hernandez]

I am wondering if there is any native support for the following constraint

x \in  { i such that y[i]=TRUE }

in Gecode. In other words, I would like to ensure that x is an index of a
true variable in the vector y.

In the global constraint catalog, this looks like a domain_constraint, and
there is a reference to "in" in Gecode, but I cannot find a matching
definition of the "in" constraint.

Am I overlooking something?

Grateful for help,
JC
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20160213/e4d2d663/attachment.html>