Re: [eclipse-clp-users] out of range ::/2

From: Kish Shen <kisshen_at_cisco.com>
Date: Sun, 13 Sep 2009 07:09:53 +0100
liu.yu.senior.china wrote:

> If I use A=[100000000,200000000], B::A.   Then no problem at all.
> If I use A=[1000000000,2000000000], B::A. Then I get out of range in ic_exclude_range.
> 
> What should I do to eliminate the error?
Hi,

In both cases, you are creating a very sparse finite domain that has 
only two elements in it. Such domain cannot be efficiently represented 
with lib(ic), and indeed the second case is too big to be representable, 
which is why you get the out of range error (your first domain will also 
consume a lot of memory).

This issue was discussed recently on the mailing list. See

http://sourceforge.net/mailarchive/forum.php?thread_name=4A80A45E.3090201%40cisco.com&forum_name=eclipse-clp-users

for more details.

Cheers,

Kish

-- 
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 Sun Sep 13 2009 - 06:10:13 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET