You can't. The best you might is a segfault. There is currently no way to do it. One could build a special propagator that channels across spaces but that would be pretty tricky: who will take care of that propagator during copying, for example.
My question is: why would you like to do that? Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Mauricio Toro Sent: Wednesday, May 21, 2008 10:39 AM To: [EMAIL PROTECTED] Subject: [gecode-users] constraint between variables in different spaces 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
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
