Hello all,
I am trying to use Gecode for make some ccp processes.
something like:
when a = 1 do tell b = 1
|| when b = 1 do tell c = 1
|| tell a = 1
|| when b = 1 and c = 1 do tell answer = true
with a,b,c all in the same intvararray (in the same space),
how can i make that?
thanks
2008/3/10, Mikael Zayenz Lagerkvist <[EMAIL PROTECTED]>:
>
> Hi,
>
> If you are using a Gecode Space in a concurrent setting, there are a
> couple of things that you must observe.
>
> First of all, a Space is not reentrant. Thus you must serialize all
> accesses to the Space object.
>
> Secondly, if you want to manipulate two different Spaces concurrently,
> you must make sure that they do not share any data structures. This is
> done by passing false as the share argument when cloning a Space.
>
> Cheers,
> Mikael
>
>
> On Mon, Mar 10, 2008 at 12:54 PM, Mauricio Toro <[EMAIL PROTECTED]>
> wrote:
> > Hello,
> >
> > I am trying to do a naive CCP ask in Gecode and
> > I am getting "Bus error".
> >
> > The idea is doing this process inside a thread
> > ask (a = 1) do tell( b = 1)
> >
> > I am doing it like this:
> >
> > while ( not root[i].assigned() ){ };
> > if (root[i].val() == 1)
> > rel(this, root[j], IRT_EQ, 1);
> >
> > Any clues why I am getting "Bus error",
> >
> > 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
> >
> >
>
>
>
>
> --
> Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/
>
--
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
