Searched refs:bound (Results 101 - 118 of 118) sorted by relevance

12345

/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Ddistfix.pl91 % Answer. Variables is bound to a list of [Atom=Variable] pairs.
/barrelfish-2018-10-04/usr/eclipseclp/Mercury/
H A Dm_map.pl705 does not appear, Map is simply bound to Map0.
H A Dm_tree234.pl353 does not appear, Tree is simply bound to Tree0.
1179 % bound(
1189 % bound(
1199 % bound(
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dfd_domain.pl317 NewDom = dom([Y|_], _), % bind Y, wake inst,bound,constrained
H A Dtracer_tcl.pl1444 % least upper bound of 2 modes (cf. lattice above)
H A Dkernel.pl5681 % in the kernel (and ic)! _suspension_attribute() relies on bound being the
5682 % last list, the inst list is a difference list, the bound list is normal.
5684 :- export struct(suspend(inst,constrained,bound)).
6549 % We require for FromExpr and ToExpr that they are only bound to
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dumscmacros.tex580 %or bound to another suspending variable.\\
H A Dkernel.tex209 The tag is TIVL\index{TIVL}. Normally, the breal is canonical, i.e.\ the lower bound
210 is not larger that the upper bound. If this is not the case, the
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsflags.tex381 \item[Description : ] Specifies the print depth bound for printing
H A Dumsio.tex809 stream is the empty string and the variable is bound to this value:
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/
H A Dset.pl83 del_any, % the delayed goals woken if the variable is bound
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/
H A Ddatabase-sec.tex983 and when a matching tuple is found the variable will become bound.
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Deprolog.tex512 Matching has the property that no variables in the caller will be bound.
H A Dprolog.tex576 % variables that are bound, e.g. unifying
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dextchr.tex521 not touched. To ensure that the variables are sufficiently bound,
/barrelfish-2018-10-04/doc/000-overview/
H A DOverview.tex391 server. After having bound an interface reference, the result is a
/barrelfish-2018-10-04/doc/011-idc/
H A DIDC.tex851 fixed-size (or variable-size with an upper bound) untyped data.
/barrelfish-2018-10-04/lib/tommath/
H A Dtommath.tex3674 reduction the value of $a$ is bound by $0 \le a \le (b - 1)^2$ meaning that $2^q \ge b^2$ is sufficient to ensure the reciprocal will have enough
3696 ${a \over b} \equiv {{a' + a''} \over b}$ which is equivalent to ${a' \over b} + {a'' \over b}$. Since $a'$ is bound to be less than $b$ the quotient
3697 is bound by $0 \le {a' \over b} < 1$.
4320 The true bound is $0 \le x < (n - k - 1)^2$ but this has quite a few more terms. The value of $q$ after step 1 is bounded by the following.

Completed in 221 milliseconds

12345