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.3.0 : Wed Sep 25 2024 - 15:13:20 CEST