documents/libman/ic.tex

328     enclosing both. If however, either bound is infeasible then
329     the result is the bound that is feasible. If neither bound is
447 indicate that a variable will be bound to an expression at run-time.
495 not constrained.  Also allowed are the (untyped) symbolic bound values {\tt
537 allowed are the (untyped) symbolic bound values {\tt inf}, {\tt +inf} and
771 \paragraph{Reified variable is bound to 0} In the event that the reified
772 variable becomes bound to \verb|0| then the constraint should actively
775 \paragraph{Reified variable is bound to 1} In the event that the reified
776 variable becomes bound to \verb|1| then the constraint should actively
881 Returns the current lower bound of Var.
884 Returns the current upper bound of Var.
938 bounds are only changed if the absolute and relative changes of the bound
1092 normal bound consistency. It guarantees that, if you take any variable
1094 the original bound consistency solver will not find any constraint
1116 The bound-consistency solution does not take into account the X $>$= Y
1240 Note that the lower bound of X is still five despite the fact that X
1251 In this example since X is known to be integral, the lower bound of X
1280 remove a value, reduce the upper bound or increase the lower bound of a
1287 desirable to perform all required bound updates before allowing further
1346 \item[lo] The lower bound of the variable's domain, as a float.
1347 \item[hi] The lower bound of the variable's domain, as a float.
1350 \item[min] Suspension list of goals to be woken on lower bound changes.
1351 \item[max] Suspension list of goals to be woken on upper bound changes.