[gecode-users] checking consistency level

[Guido Tack]

Hi,

unfortunately that is impossible to check (partly because the icl is only a hint, constraints are free to implement weaker consistency levels).

Cheers,
Guido

On 17/04/2013, at 5:46 AM, victor.zverovich at gmail.com wrote:

> Hi,
> 
> I'm implementing an option to set consistency level for integer propagators in Gecode AMPL driver 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
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130417/78a49657/attachment.html>