/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embsumcxx.tex | 41 looks up or enters the given string into the {\eclipse} 48 looks up or enters the given string with arity into the {\eclipse} 192 set up, the reference disappears and is also reset to its earlier value.
|
H A D | embfunc.tex | 83 The next example uses an input list of integers and sums up the numbers.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsparallel.tex | 65 This option pops up an interactive worker manager window which allows 68 \item[--wv] Be verbose while starting up the workers. 296 supported. For example, it is currently up to the user to guarantee
|
/barrelfish-2018-10-04/doc/009-notifications/ |
H A D | Notify.tex | 58 it takes up to 10000 cycles to notice a message, and obviously the 146 This looks up the PCN page of the destination core in the kernel globals page. 148 It looks up the FIFO head pointer using the dest$\_$core id.
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | queues.pl | 135 will also show up in NewQ2. Note that
|
H A D | remote_tools.pl | 137 spy-point on a predicate will cause the tracer tool to pop-up when
|
H A D | menu.tcl | 329 msg "Waking up $num on $selhost ..." 367 button .workers.up -width 2 -text + -command "tc_inc 1" 372 pack .workers.up -in .workers.middle -side left -padx .25c
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | io.tex | 68 in the buffer, so the input can be backed up as much. 91 The lexical analyser (lex.c) breaks up input from I/O streams into
|
H A D | builtins.tex | 80 Built-ins for creation of handling of executable code (up to {\eclipse} 5.X).
|
H A D | kernel.tex | 137 The conceptual tag is made up of the REF-bit and the 8-bit-tag TXXX 176 this content size rounded up to a multiple of a pword. 179 Signed two's complement integers\index{integers} up to the machine's wordsize are an 188 up list operations by having only to deal with TLIST and TNIL tags. 280 value. The arity\index{arity} can be looked up from the dident dictionary entry. 713 when switching level up or down. Both these information bits are held in 1066 stack up to a previously stored position. Note that {\eclipse} does not 1067 clean up the trail stack on this occasion (although removing choice points 1743 possibly goto read mode up (restore S) 1744 up (restor [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | colgen.tex | 230 where we first create a {\tt colgen} instance {\tt cut\_stock}, set up the variable domains of the subproblem and the demand constraints of the master problem, set up the initial master problem bound constraints and subproblem knapsack constraint, then solve and return the variables with non-zero values in the optimal solution. The definition of cutting cost as waste has been combined with the knapsack constraint, while the bounds placed on this cost exclude cuttings with sufficient waste to produce further boards, thus limiting the amount of search in subproblem solution. The chosen method of subproblem solution is:
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | changeset.pl | 78 The priority of the monitor should be set up such that is is lower than
|
H A D | ic_probe_support.pl | 181 my_tent_call sets up two demons, one to perform propagation whenever the
|
H A D | probe_support.pl | 180 my_tent_call sets up two demons, one to perform propagation whenever the
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/ |
H A D | puzzle_bool.pl | 56 SICStus Prolog can solve this puzzle up to N = 9 on my machine; it then
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/apps/ |
H A D | makeapps.com | 38 $! P4, if defined, sets a compiler thread NOT needed on OpenVMS 7.1 (and up) 828 $! Set up default defines 959 $! Finish up the definition of CC. 1035 $! Set up the logical name OPENSSL to point at the include directory
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ |
H A D | makevms.com | 68 $! P6, if defined, sets a compiler thread NOT needed on OpenVMS 7.1 (and up) 233 $! For that reason, the list will also always end up in alphabetical order
|
/barrelfish-2018-10-04/doc/026-device-queues/ |
H A D | devif.tex | 250 enqueueing the buffer has given up ownership on the buffer. Eventually the ownership 519 The transition system that we defined up to now can be seen in the picture below. 722 channel to the driver is set up and the information to set up the queue on the card is 778 up such a channel, one of the endpoints exports the interface while the other simply connects 812 connects to a remote endpoint, the local endpoint sets up memory for the receive/send 822 In a single domain the control plane, i.e. setting up the queue and registering memory 861 is set up and buffers can be transferred.
|
/barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/ |
H A D | basic.pl | 195 % readln reads all the characters up to a LF
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | icsymbolic.tex | 148 Internally, symbolic domains are mapped to integer ranges from 1 up to
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | intro-sec.tex | 161 may themselves be broken up into several modules.
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/engines/ |
H A D | e_padlock.c | 373 /* Fill up some flags */ 614 up: lodsd 617 loop up
|
/barrelfish-2018-10-04/usr/drivers/solarflair/sfxge/common/ |
H A D | siena_phy.c | 74 boolean_t up = !!(link_flags & local 79 if (!up)
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | assoc.pl | 144 test(_) :- % Test(T) will build up a small tree
|
H A D | struct.pl | 96 % pretence of being logical (though at the next level up). The next one
|