Searched refs:first (Results 226 - 250 of 314) sorted by relevance

1234567891011>>

/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/
H A Dtkec_remote.tcl672 ;# line is first truncated. Note -2 needed (rather than -1)
675 set nl [string first "\n" $data]
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dmeta.pl634 ( NG0 == 0 -> % first
757 % The cases where the first arg is instantiated are handled
H A Dsource_storage.pl174 (string(File) -> % first convert to a string
H A Delipsys_fd.pl293 ; %%% first case failed
H A Dfd_elipsys.pl302 ; %%% first case failed
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex105 The first word of the shared memory is reserved for the application:
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dsolverinter.tex144 loaded first (e.g. via lib/1) before any constraint can be passed to it.
H A Drepair.tex250 conflict for the first time. If {\bf Constraint} is a finite-domain
337 %checks to determine whether Constraint is violated. At the first violation
480 indomain(C), % variables first
H A Dobsman.tex906 The approach is similar to the previous example: first we create
1063 Note however, that this matching clause succeeds even if the first
1158 with an existing domain, the domain has to be copied first.
1584 clauses of the fit predicate. The first colour list contains
1585 colours in the first argument of fit/2 and the second list
1619 Propia is the first candidate to convert an existing relation into
1678 Five men with different nationalities live in the first five houses
1687 The Norwegian lives in the first house on the left.
1854 first it tries to match the amount of remaining components with zero
2181 lexicographically greater or equal than the first on
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dtutorial.tex157 \Note{Notes that can be skipped on first reading are marked like this.}
H A Dconstimpl.tex361 At any time, the system attempts to solve the most urgent subgoal first.
443 either the first, or one of the last three clauses is executed.
555 and constrains the first to be greater or equal to the second.
H A Drepairtut.tex83 For example the following query writes first $1$ and then $2$:
111 The first method is by {\em monitoring} a constraint for conflicts.
310 {\eclipse} then unfolds the first clause and sends the new temporal
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsdynamic.tex188 assertion and retraction, the procedure should therefore first be declared
H A Dumsarrays.tex339 where it is first set. It is good style to declare them using
394 predicate. The first argument of
408 predicate. The first argument of
H A Dumsdeveltools.tex228 There are two pertinent predicates for document generation. The first,
305 The first \notation{xref} predicate call generates a textual call graph
395 \item The first line of output indicates whether the specified goal
H A Dumsio.tex147 have a stream argument at the first position,
429 The first one is to
444 predicates corresponds to the first way
715 immediately on the file, pipe or socket, but goes into a buffer first.
1105 output options (first column in the table).
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/
H A Dech.pl337 /* extract the first Ath argument from the structure NewHead as a list, ConsArgs */
394 %DeleteHeads first so that these can be deleted in body
556 /* removes the first Nth arguments from rule clause, which are for indexing */
788 % If this is not the first partner, use the original suspension list
958 transformed. OtherPos is the other position. Head1 is the first (leftmost)
1198 % Add_Applied (first arg.) is used to pass extra args for constructing code
1753 splits the list List such that Front will contain the first Nth elements,
2091 ; % first Index < PartnerIndex, so not found and insert it
/barrelfish-2018-10-04/doc/004-virtual_memory/
H A DVirtualMemory.tex26 % Include version history first
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Ddbi.tex233 database, then the term should be first converted to EXDR format, and the
265 in external database format. Any structure whose first argument is an integer
449 In the example we see session_sql/3 used, first to create a
H A Dumscmacros.tex374 to the string value and {\tt s} to the first string character.
463 pointer to the first character of the string.\\
518 the first one is the DID of the array functor
/barrelfish-2018-10-04/usr/eclipseclp/documents/mpslib/
H A Doutline.tex157 is achieved by the {\it mps\_init} predicate and it is the first step
215 Now you are ready for your first experiment, i.e. pinging the name server.
273 "Hello World !", is sent to and received from a port. The first
/barrelfish-2018-10-04/usr/eclipseclp/Eplex/
H A Deplex.c1595 if (lpd->cb_cnt == 0) /* first quadratic coefficient */
1663 /* this assumes that vname.str will be copied upto first \0 */
2224 * We first collect the new row/col data in (growable) arrays using
2802 /* trail first, in case we abort during adding */
4227 int * rmatbeg, * rmatind, i, offset, first = -1, local
4240 if (first == -1)
4242 first = i;
4243 offset = lpd->cp_rmatbeg2[first];
4262 rhs = &lpd->cp_rhsx2[first];
4265 senx = &lpd->cp_senx2[first];
[all...]
/barrelfish-2018-10-04/doc/000-overview/
H A DOverview.tex31 % Include version history first
199 run it. Note that when \texttt{run()} is invoked the dispatcher first runs in
206 can decide to schedule another thread, in which case it must first save the
374 communicate, they must first establish a channel (which may involve
510 dispatched to the appropriate driver domain. Each first-level
/barrelfish-2018-10-04/doc/022-armv8/
H A Dreport.tex73 card to be integrated as a first-class part of the system, with its own CPU
83 some time. While the first wave of ARM-based microservers, based on the 32-bit
163 first time, of a boot process for ARM systems. ARM has specified that SBSA
219 \texttt{X16} & IP0 & The first intra-procedure-call scratch
690 \item The first argument register holds the Multiboot 2 magic value.
/barrelfish-2018-10-04/doc/026-device-queues/
H A Ddevif.tex400 transition system by first defining the agents, the structures,
560 state for a device queue and as a first member, the general struct for the \devif
654 The struct contains as a first member the \texttt{devq} struct (Figure \ref{lst:devq}) so it can be
753 for a region id the corresponding first entry of the buffer table. Since the buffer id is the
755 of the first entry of the region. Further with the buffer id being the offset in the region, we

Completed in 209 milliseconds

1234567891011>>