Chris Mears wrote: > [eclipse 2]: [X,Y] :: 1..1000000, (X #> Y and Y #> X). Sorry, my mistake (and I thought I checked the example before posting, obviously made a mistake there as well). I forgot the exact operational semantics for reified constraint, in that it acts in a passive check mode only when its truth value is not known, and is imposed as soon as it is known it must be true. For and/2, it requires both sides to be true, so both constraints will be imposed, giving the same result as posting the two constraints directly X #> Y, Y #> X, although the reified form is somewhat less efficient. -- This e-mail may contain confidential and privileged material for the sole use of the intended recipient. Any review, use, distribution or disclosure by others is strictly prohibited. If you are not the intended recipient (or authorized to receive for the recipient), please contact the sender by reply e-mail and delete all copies of this message. Cisco Systems Limited (Company Number: 02558939), is registered in England and Wales with its registered office at 1 Callaghan Square, Cardiff, South Glamorgan CF10 5BT.Received on Fri Feb 19 2010 - 06:50:05 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET