Searched refs:bound (Results 101 - 118 of 118) sorted by relevance
12345
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | distfix.pl | 91 % Answer. Variables is bound to a list of [Atom=Variable] pairs.
|
/barrelfish-2018-10-04/usr/eclipseclp/Mercury/ |
H A D | m_map.pl | 705 does not appear, Map is simply bound to Map0.
|
H A D | m_tree234.pl | 353 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 D | fd_domain.pl | 317 NewDom = dom([Y|_], _), % bind Y, wake inst,bound,constrained
|
H A D | tracer_tcl.pl | 1444 % least upper bound of 2 modes (cf. lattice above)
|
H A D | kernel.pl | 5681 % 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 D | umscmacros.tex | 580 %or bound to another suspending variable.\\
|
H A D | kernel.tex | 209 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 D | umsflags.tex | 381 \item[Description : ] Specifies the print depth bound for printing
|
H A D | umsio.tex | 809 stream is the empty string and the variable is bound to this value:
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | set.pl | 83 del_any, % the delayed goals woken if the variable is bound
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | database-sec.tex | 983 and when a matching tuple is found the variable will become bound.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | eprolog.tex | 512 Matching has the property that no variables in the caller will be bound.
|
H A D | prolog.tex | 576 % variables that are bound, e.g. unifying
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | extchr.tex | 521 not touched. To ensure that the variables are sufficiently bound,
|
/barrelfish-2018-10-04/doc/000-overview/ |
H A D | Overview.tex | 391 server. After having bound an interface reference, the result is a
|
/barrelfish-2018-10-04/doc/011-idc/ |
H A D | IDC.tex | 851 fixed-size (or variable-size with an upper bound) untyped data.
|
/barrelfish-2018-10-04/lib/tommath/ |
H A D | tommath.tex | 3674 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