Searched refs:left (Results 101 - 125 of 174) sorted by relevance

1234567

/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dinternal.tex63 % Needed to adjust left/right pages properly
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dapply_macros.pl76 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 Dspell.pl275 % typing from left to right some computation can be eliminated. i.e. if we
H A Dmodes.pl351 % 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 Dtracer_tty.pl533 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 Dsearch.tex250 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 Dreal.tex140 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 Dprogramanalysis.tex190 candidate for optimisation. This is left as an exercise for the
H A Dconstimpl.tex315 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 Ddatabase-sec.tex316 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 Dmultiuser-sec.tex113 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 Dumsdebug.tex124 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 Dumsusing.tex133 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 Dexthsusp.tex35 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 Dannotate.tex111 \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 Drc4-ia64.pl710 // left - 1
/barrelfish-2018-10-04/lib/lwip2/src/core/
H A Dtcp_out.c561 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 Dmp.tex66 of this functionality layer is left to \eclipsetwo.
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/
H A Dpropia.pl240 % 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 Dscheduler.c239 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 DHake.tex505 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 Dlparser.c1020 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 Ds3_lib.c35 * 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 DWindow1.xaml.cs212 // 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 DTracing.tex625 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

Completed in 281 milliseconds

1234567