/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | internal.tex | 63 % Needed to adjust left/right pages properly
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | apply_macros.pl | 76 summary:"Call Pred on all Subterms of Term (depth-first and left-to-right order)" 102 desc:"The traversal is depth-first and left-to-right", 289 % traversal is depth-first and left-to-right 332 % traversal is depth-first and left-to-right
|
H A D | spell.pl | 275 % typing from left to right some computation can be eliminated. i.e. if we
|
H A D | modes.pl | 351 % NO! because this will cause left-propagation of bindings, i.e. 352 % we might evaluate new alternatives to a left hand goal using
|
H A D | tracer_tty.pl | 533 do_tracer_command(0'D, Frame, N, Cont) :- !, % move left 534 writeln(debug_output, "left subterm"), 598 [N]<left> move left [N times] (alternative: D)\n\
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | search.tex | 250 depth-first, left-to-right search by backtracking. It allows 335 If we now assume a depth-first, left-to-right traversal by backtracking, 446 from left to right as they occur in the list, and they are 712 Note that the solutions that are found are all located on the left hand 714 search heuristic, the solutions tend to be towards the left hand side. 781 Subtrees for which no credit is left are pruned, 847 from different parts of the search tree, although biased towards the left:
|
H A D | real.tex | 140 but a delayed goal is left behind, indicating that the result of the 230 delayed goal \texttt{-0.1__0.1 >= 0} will be left behind and Code A
|
H A D | programanalysis.tex | 190 candidate for optimisation. This is left as an exercise for the
|
H A D | constimpl.tex | 315 wait until one variable left, then compute consequences 348 While in Prolog the resolvent is always processed from left to right,
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | database-sec.tex | 316 whose synonym is known if the left hand side is a variable. 652 The relation is named on the left hand side of the operator and it 721 Some attributes may be left uninstantiated, as in the following 735 are left {\em uninstantiated} and the goal cannot be resatisfied. 982 An attribute can be left uninstantiated in the goal, as in the above example,
|
H A D | multiuser-sec.tex | 113 a valid goal, or the database being left in 273 a failure the database will be left in a consistent state,
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsdebug.tex | 124 procedure that has left a choice point (it has exited through an 305 \item[\notation{LEAVE}:] a procedure is left before having failed or exited 1301 \ncmd{leftarrow key}{move current subterm left by \about{n} positions} 1302 \ncmd{D}{move current subterm left by \about{n} positions}\\ 1305 the left of it. Consider the structure \notation{foo(a, g(b, [1, 2]), 3)}, then 1307 left 1310 \notation{g(b, [1, 2])} (distance of 1) are its left siblings. The optional 1311 numeric argument for the command specifies the distance to the left that 1320 INSPECT (integer) %> 2left subterm 1336 INSPECT (integer) %> 5left subter [all...] |
H A D | umsusing.tex | 133 selecting the appropriate entry from the drop-down list to the left of the 194 By using the left mouse button in the \guitext{Call Stack} region of the 219 \item the term inspector (available by double left clicking on a term from 331 On the left is a tree display of the libraries available and the predicates
|
H A D | exthsusp.tex | 35 rule that is more flexible than simple left-to-right goal selection. 96 While in Prolog the resolvent is always processed from left to right 606 a single variable argument is left, and then compute the variable from 891 \item it might not have any other waking conditions left; 892 \item and it might at the same time have other waking conditions left 901 and the goal may be left orphaned.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/ |
H A D | annotate.tex | 111 \left(\begin{array}{c c c c c} 207 runtime, so it too may be left in code even when not visualising.
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/rc4/asm/ |
H A D | rc4-ia64.pl | 710 // left - 1
|
/barrelfish-2018-10-04/lib/lwip2/src/core/ |
H A D | tcp_out.c | 561 u16_t left = len - pos; local 563 u16_t seglen = LWIP_MIN(left, max_len);
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | mp.tex | 66 of this functionality layer is left to \eclipsetwo.
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | propia.pl | 240 % ground, or when the Goal has only one answer left. 369 % A Goal has only one answer left, either when it is instantiated, or,
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | scheduler.c | 239 SMSG_LMP: instruct the left-most path to become LM set 2184 int left; local 2185 if (!eng_publish(LeafEngine(self), max, &left)) { 2201 if (!left) { 2639 int left; local 2640 if (!eng_publish(LeafEngine(leaf),99999, &left) || !left) {
|
/barrelfish-2018-10-04/doc/003-hake/ |
H A D | Hake.tex | 505 appear only in the left-hand side of the rule head, and not in the 607 If this file already exists in the build tree, however, it is left 648 Also, the file that Hake tried to compile will be left for you in
|
/barrelfish-2018-10-04/lib/lua/src/ |
H A D | lparser.c | 1020 lu_byte left; /* left priority for each binary operator */ member in struct:__anon1061 1051 while (op != OPR_NOBINOPR && priority[op].left > limit) { 1093 ** structure to chain all variables in the left-hand side of an
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ssl/ |
H A D | s3_lib.c | 35 * The word 'cryptographic' can be left out if the rouines from the library 3311 if ( (s->s3->rbuf.left == 0) && 3312 (s->s3->wbuf.left == 0) &&
|
/barrelfish-2018-10-04/tools/demo/Aquarium/ |
H A D | Window1.xaml.cs | 212 // Top left corner
377 // Top left corner
459 Point left = tip - 5 * unit + 3 * norm;
464 pg.Points.Add(left);
1179 // Any left over?
1246 // Scrollbar is in timestamp units ... it controls the timestamp value of the left
|
/barrelfish-2018-10-04/doc/008-tracing/ |
H A D | Tracing.tex | 625 From left to right we see the timestamps (measured in clock cycles), and on the 631 well in the left menu labeled \emph{Filter}. In addition to the per core events, 644 On the left part of the GUI we see the Filter menu. It allows to filter out 830 single event. On the left: The Subsystem is enabled, i.e.~the event is
|