[gecode-users] Number of propagators

[Mikael Zayenz Lagerkvist]

Just for completeness, committing a space to an alternative without
giving a branching-description will compute a fixpoint first before
doing the branching.

Cheers
Mikael

On 5/24/06, Christian Schulte <schulte at imit.kth.se> wrote:
> Actually, you are right: only propagators are considered. There is am major
> difference though compared to Oz in when stability is achieved: Only clone
> and status make a space stable, commit in particular does not compute a
> fixpoint (this is in order to support batch recomputation). So while
> propagation in Oz is eager, it is lazy in Gecode.
>
> Cheers
> Christian
>
> --
> Christian Schulte, http://www.imit.kth.se/~schulte/
>
> -----Original Message-----
> From: gustavo.ggutierrez at gmail.com [mailto:gustavo.ggutierrez at gmail.com] On
> Behalf Of Gustavo Gutierrez
> Sent: Tuesday, May 23, 2006 11:08 PM
> To: schulte at imit.kth.se
> Cc: users at gecode.org
> Subject: Re: [gecode-users] Number of propagators
>
>
> Hi Christian,
>
> First of all thanks for the answer and the addition.
>
> On 5/23/06, Christian Schulte <schulte at imit.kth.se> wrote:
> > I just added two functions propagators() and branchings() to the trunk
> > version that return the desired information but only if the space is
> > stable.
>
> I have a question about space stability and gecode. AFAIK, from mozart and
> your PhD thesis, a space is stable when there are no threads/propagators
> running. In the gecode case there are no threads but only propagators
> (right?), so a space becomes stable after performing propagation in it (i.e
> by calling the status method)? or are there others situations when this can
> happen?
>
>
> Thanks in advance,
>
> --
> Gustavo Gutierrez
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>


-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/