[gecode-users] checking consistency level

[victor.zverovich at gmail.com]

Hi,

I'm implementing an option to set consistency level for integer propagators
in Gecode AMPL driver<https://github.com/vitaut/ampl/tree/master/solvers/gecode>
similar
to the -icl option in the Gecode driver.

While the option is quite straightforward to implement I was wondering how
can I test it. To be more specific, suppose I have a Gecode::Space object
and I post a constraint to it with some consistency level. How can I
programmatically check whether a constraint has been posted with this
consistency level?

Thanks,
Victor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130416/cd0e2a54/attachment.html>