Lines Matching defs:with
6 % in compliance with the License. You may obtain a copy of the License
23 \chapter{Working with real numbers and variables}
41 One way to deal with this is to use \emph{interval arithmetic}.
55 been performed with normal floating point numbers, the final floating point
75 because of the limited precision with which is has been calculated
108 When working with bounded reals, some of the usual rules of arithmetic no
131 Different classes of predicate deal with the undecidable cases in different
216 is test the value of a number, with different code being executed depending
267 it with integer variables.}
299 \item Real constraints also work with integer variables and a mix of integer
345 problem. The IC library provides two methods for assisting with this.
440 comprising a large triangular lake with a square field on each side. The
453 \caption{Triangular lake with adjoining square fields}
458 is ideal for solving with the IC library. A model for the problem appears
516 \texttt{ordered_sum/2}. How does the run time compare with the original?