Searched refs:Note (Results 101 - 125 of 171) sorted by relevance

1234567

/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dmp.tex231 IC-Parc Technical Note, November 1995
H A Dobsman.tex167 Note that a non-integer domain variable can become
196 Note that arithmetic operations on linear terms are performed
294 Note that this number may not correspond to the exact number
794 Note that most of the constraints are displayed using a write macro,
929 Note also that the board for this `minimal' solution looks
1063 Note however, that this matching clause succeeds even if the first
1187 Note that the main use of the predicate is to yield
1411 Note that it may happen that one of the two variables is already instantiated,
1957 Note that when suspended, the predicate waits for colour instantiation
2255 Note als
[all...]
H A Dintroduction.tex48 Note that the global flag {\em coroutine} has a similar effect:
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dtutorial.tex157 \Note{Notes that can be skipped on first reading are marked like this.}
H A Dsolversintro.tex83 Note that the {\em ic} library itself implements only a standard,
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsstring.tex186 Note that although it is no longer possible to create a string
H A Dumscompiler.tex474 Note however, that only complete clauses or directives can be
498 A synonym for the include/1 directive. Note that the semantics of this
664 %Note that this is only needed if all terms are transformed, and not for
831 Note that, if the actual instantiation of a predicate call violates
893 Note that meta-calls (e.g., via
H A Dumsio.tex169 Note that stream handles are not normal Prolog terms! They
251 Note that path names usually have to be quoted (in single or double quotes)
381 Note that the stream modes (read/write) must be compatible.
453 Note that a character in {\eclipse} is represented as an integer corresponding
H A Dumsprofile.tex369 %Note that these modes are not the result of a program analysis.
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dbags.pl116 % Note that mapbag does NOT give the Count to Pred, but preserves it.
/barrelfish-master/doc/017-arm/
H A DARM.tex223 Note that if you boot using \code{make arm_gem5_detailed} rather than
547 Note that all of these values can be written by the user program.
837 Note that the Barrelfish codebase distinguishes between the BSP (bootstrap)
845 Note also that the second core will start working with the MMU
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dkb.pl35 Note : This file is for the MegaLog-Sepia integration. It was forked label
651 /* Note :
653 ** that are variants look identical apart from variable renaming. Note that a
658 ** Note :
691 * Note : Delete variant clauses
1119 % Note : it is not neccessary to remove redundant 'true' conditions
H A Dbranch_and_bound.pl129 <H3>Note on the treatment of bounded reals</H3>
714 Note the dependence on the delta-parameter: the costs of these
1014 optimal solution. Note that bb_min/3 is actually based on bb_min/6
H A Dfd.pl74 Note that a non-integer domain variable can become an integer
90 Note that arithmetic operations on linear terms are performed
885 the variable Var. Note that this number may not correspond to the exact
1285 Note that the main use of the predicate is to yield the most specific
1945 Note that using sort/2 on a list of integers and intervals does not
2487 Note: Operationally, the difference with min_max/2 is that, after label
H A Ddynamic.pl108 % clauses stored under SrcHandle. Note that cuts in the clause body
H A Dlinearize.pl144 renormalizes it. Note that variables may only become instantiated
822 % Note: There are many possible 'normal' forms of an expression, this function
H A Dheaps.pl135 position number of the gap in the new tree. Note that repair_heap
H A Dtest_util.pl580 % Note that the terms may be nonground,
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Druntime.tex213 dictionary reference, are scanned in a similar way. Note that for
220 Note:
283 Note that the goal inlining transformation (goal read macro) is
/barrelfish-master/doc/000-overview/
H A DOverview.tex199 run it. Note that when \texttt{run()} is invoked the dispatcher first runs in
336 Note that, while the user determines exactly what mapping is entered
713 notes, including this one. Note that these files are probably not
748 building Technical Note PDF files.
804 This document is Barrelfish Technical Note 0. The remaining technical
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembremoteproto.tex113 side has control. Note that asynchronous I/O
227 interaction. The remote side has the control initially. Note that
500 there are messages for terminating the remote attachment. Note that
752 Note that the {\eclipse} side will also listen to the control connection
846 Note that the {\bf socket_connect} and {\bf socket_accept} messages are
908 Note that the disconnection message can be used to terminate the attachment
1239 Note that the {\bf socket_client} interaction is performed by the
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex259 of {\eclipse}. Note that the main disadvantage of the depth-first
350 Note that the example shows something else: If the domains of the variables
603 Note that there are other possible ways of defining the number of backtracks.
729 Note that the leftmost alternative (here X=0)
746 Note that this method in its pure form allow choices only close to the
1190 Note that we are using an array, rather than a list of variables, to
1543 remembered. Note that if \verb'try_one_step' succeeds, then a solution will
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Deplex_relax.pl92 % and send any new constraints to eplex. Note that it should be possible to
172 % Note: returns points in reverse order (right-to-left).
458 % Note: any point at YMin (YMax) cannot be on the upper (lower)
/barrelfish-master/lib/openssl-1.0.0d/crypto/bn/asm/
H A Dpa-risc2.s63 ; Note that the "w" argument for bn_mul_add_words and bn_mul_words
922 ; Note, that when using b6 and b7, the code must save these before
/barrelfish-master/doc/021-cpudriver/
H A Dcpudriver.tex126 Note that the reason elver exists is because multiboot v1 does not support

Completed in 153 milliseconds

1234567