W dniu 2010-04-22 19:28, Philipp Marcus pisze: > Why is it not possible for IC to infer that the domain of X only > consists of the elements [1,2]? Instead I get the output: Because IC is not using strong enough consistency checking for "or" constraints. Quite typical situation and if needed one should write global constraint that would make better reasoning. Best regards -- [ Wit Jakuczun http://pl.linkedin.com/in/jakuczunwit ]Received on Fri Apr 23 2010 - 03:55:06 CEST
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET