[gecode-users] constraint between variables in different spaces

[Mauricio Toro]

Hello all,
Is it possible to do the channeling for IntVar using a IntSet?
like dom(space1,var1,intset); dom(space2,var2,intset); ?

Why do you mean by copying it?

I have made an interpreter for CCP calculus using gecode.
Now I am trying to extend the interpreter for Time Concurrent Constraint
Calculus.
which is an extension where we have multiple spaces.
each one representing a time unit. The problem is when we want to represent
persistent assignation, something like "forever tell(x =
Variable_In_Time_Unit_1)".

Notice that for all this models we do not use search, we are only interested
in propagation.

Any ideas?

Thanks


2008/5/21 Christian Schulte <cschulte at kth.se>:

 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
>



-- 
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



-- 
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/32738b47/attachment.htm>