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

David Rijsman davidrijsman at gmail.com
Thu Mar 27 15:03:25 CET 2008


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




More information about the gecode-users mailing list