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.zverov...@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@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
