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 <[EMAIL PROTECTED]> 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 > [EMAIL PROTECTED] > https://www.gecode.org/mailman/listinfo/gecode-users > -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
