/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/ |
H A D | tkec_remote.tcl | 672 ;# 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 D | meta.pl | 634 ( NG0 == 0 -> % first 757 % The cases where the first arg is instantiated are handled
|
H A D | source_storage.pl | 174 (string(File) -> % first convert to a string
|
H A D | elipsys_fd.pl | 293 ; %%% first case failed
|
H A D | fd_elipsys.pl | 302 ; %%% first case failed
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | globalstate.tex | 105 The first word of the shared memory is reserved for the application:
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | solverinter.tex | 144 loaded first (e.g. via lib/1) before any constraint can be passed to it.
|
H A D | repair.tex | 250 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 D | obsman.tex | 906 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 D | tutorial.tex | 157 \Note{Notes that can be skipped on first reading are marked like this.}
|
H A D | constimpl.tex | 361 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 D | repairtut.tex | 83 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 D | umsdynamic.tex | 188 assertion and retraction, the procedure should therefore first be declared
|
H A D | umsarrays.tex | 339 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 D | umsdeveltools.tex | 228 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 D | umsio.tex | 147 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 D | ech.pl | 337 /* 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 D | VirtualMemory.tex | 26 % Include version history first
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | dbi.tex | 233 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 D | umscmacros.tex | 374 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 D | outline.tex | 157 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 D | eplex.c | 1595 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 D | Overview.tex | 31 % 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 D | report.tex | 73 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 D | devif.tex | 400 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
|