[eclipse-clp-users] Abort error

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Shrirang Edgaonkar <shrirange_at_...6...>
Date: Mon, 14 Nov 2016 11:27:34 +0900

Hi,

Following is the problem.
:-lib(ic).
solve(A):-
A :: 0 .. 2147483650, A #\= 2147483648.

It aborts with following error.
Abort

out of range in -(2147483648) + A{ 0 .. 2147483650} #\= 0

Kindly let me know the reason for the error.

Thanks and Regards,
Shrirang Edgaonkar






-- 
Sent from Gmail Mobile

Received on Mon Nov 14 2016 - 02:27:41 CET

This message: [ Message body ]
Next message: Shrirang Edgaonkar: "Re: [eclipse-clp-users] Abort error"
Previous message: Joachim Schimpf: "Re: [eclipse-clp-users] ic_sets question: negated set constraints"
Next in thread: Shrirang Edgaonkar: "Re: [eclipse-clp-users] Abort error"
Reply: Shrirang Edgaonkar: "Re: [eclipse-clp-users] Abort error"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:21 CEST