[gecode-users] Number of propagators

[Gustavo Gutierrez]

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