[gecode-users] finding out whether there is a constraint between two variables/ equality between two variables

[Efstratios Kalogirou]

Hi all,

Is it possible for each IntVar to see whether there is a constraint between
the IntVar and another IntVar?

I am looking for something like:
bool myfuntion(IntVar a, IntVar b)
that should return true only if there is at least a single constraint that
involves both a and b.

or
void myfunction(IntVar a, IntVarArgs b)

assigns b to be all IntVars that are present in the same constraints as a.

Also regarding the comparison between two IntVar variables a, b, I was
wondering if it is possible to check [NOT post] equality [whether the domain
of the two variables contain the same values] in a way that doesn't include
iterating over their values?

Best,
Stratos Kalogirou
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20060522/d85563a7/attachment.htm>