Lines Matching refs:Note
84 domain solver. Note however that this precision limit is way beyond
86 substantially less than $2^{32}$). Note also that deliberately
127 Note that IC has better reification support, in that any constraint
174 Note that interval arithmetic does not guarantee small errors, it just
201 Note that for this conversion, floating point numbers are assumed to
248 Note the delayed goal indicating the conditions under which the original goal should be considered to have succeeded.
290 result. Note, however, that user defined constraint/functions, when used
424 Note: The simple cases (e.g.\ \verb|Bool #= (X #> 5)|) are
520 Note that calling the reified form of {\tt ::} will result in the
561 Note that the integer forms of the constraints are essentially the same as
943 Note that a higher threshold speeds up computations, but reduces precision
957 Sets the propagation threshold. Note that if the threshold is reduced using
1002 Note that, since variables by default range from minus to plus infinity,
1042 Note that the propagation threshold
1240 Note that the lower bound of X is still five despite the fact that X
1298 are listed here for completeness. Note that with the exception of