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
