[gecode-users] constraint between variables in different spaces

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mauricio Toro
Sent: Wednesday, May 21, 2008 10:39 AM
To: users at gecode.org
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 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080521/ac507e97/attachment.htm>