[gecode-users] Number of propagators

[Christian Schulte]

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