[gecode-users] Access to the last propagator invoked in case of ES_FAILED

[Mikael Zayenz Lagerkvist]

Hi,

There is no way currently to access this information, and no current
plans to introduce it. However, it would not be hard to implement
yourself. As a starting-point, see the implementation of the function
Space::status in gecode/kernel/core.cc.

What is it that you want to do with this information? Since
propagators do not have any identifier that is stable between copies,
the information seems to me to be of little use.

Cheers,
Mikael

On Thu, Mar 27, 2008 at 3:03 PM, David Rijsman <davidrijsman at gmail.com> wrote:
> I would like to know if it is possible to determine the last propator
> invoked in case Space::status returns ES_FAILED or if there are any
> plans to expose this information. If one can get this information (in
> the future) will one also introduce reflection API on the Propagator
> level?
>
> David Rijsman
>
> _______________________________________________
> 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/