<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<head>
<title>SCIFF Errors</title>
</head>
<body>

<a name="index"></a><h1>SCIFF Errors</h1>

<p>This manual reports some of the errors the user can get using SCIFF.

<h2>CLPFD Integer Overflow</h2>
<p>Example:
<p><samp>! Representation error in user:'t>=u+c'/3<br>
! CLPFD integer overflow<br>
! goal:  't>=u+c'(_2536,_2473,1)
</samp>
<p>This derives from the way SICStus represents domains in CLP(FD).
You can reproduce the error