[gecode-users] constraint between variables in different spaces

[Mauricio Toro]

Hello all,I want to propagate a constraint between variables in different
spaces.
How can this be done?

For example

mySpace * a = new mySpace();
mySpace * b = new mySpace();
IntVar aa(a,1,10);
IntVar bb(b,1,10);
rel(a,aa,IRT_EQ,2);
a->status();
rel(b,bb,IRT_EQ,aa);
b->status();
std::cout << aa << " " << bb; // should print : 2 2

It does not work this way. Is there a way to do it?
Maybe cloning the variable or something?

Thanks

-- 
Mauricio Toro Bermudez
Estudiante de Ingeniería de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare à l'Ircam
1, place Igor-Stravinsky 75004 Paris,
France de 2008 à 2009
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080521/9311f16c/attachment.htm>