/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | programanalysis.tex | 287 which can be used to control the exact manner in which coverage 338 second argument defining a number of flags which control (amongst
|
H A D | tutorial.tex | 238 % <sect> More control structures
|
H A D | tkdebug.tex | 131 program and return control to {\eclipse}. You can press \button{More} to get more 525 Pressing \button{Done} on the map display will return control to 552 left-mouse button with the control key pressed.
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | flounder_support.c | 426 msg->header.control = ctrl;
|
/barrelfish-2018-10-04/lib/libc/rpc/ |
H A D | clnt_vc.c | 802 char control[CMSG_SPACE(sizeof(struct cmsgcred))]; member in union:__anon1038 827 char control[CMSG_SPACE(sizeof(struct cmsgcred))]; member in union:__anon1039
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | graphic.pl | 772 active(@abort), % Unblock the control panel 776 send(@panel, active, off). % Block the control panel
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | running.tex | 39 mapped I/O region to control the \ac{hba}. For the same reason, the code produced by
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umscompiler.tex | 78 Options is a list of options to control the compilation process, see details 894 \bipref{call/1}{../bips/kernel/control/call-1.html}) are never 1050 \txtbipref{,/2}{','/2}{../bips/kernel/control/C-2.html}, 1051 \bipref{;/2}{../bips/kernel/control/O-2.html}, 1052 \bipref{not/1}{../bips/kernel/control/not-1.html}, 1053 \txtbipref{$->$/2}{->/2}{../bips/kernel/control/-G-2.html}. 1176 \item \txtbipref{:/2}{:/2}{../bips/kernel/control/N-2.html} is optimised away
|
H A D | umslanguage.tex | 150 A good way to control printing of big structures is to write customized 239 \bipref{do/2}{../bips/kernel/control/do-2.html}, 267 construct can be used not only to control iteration over an existing list, 482 Finally, do-loops can be used as a control structure in grammar rules as well: 1243 \txtbipref{\notation{*->}/2}{*->/2}{../bips/kernel/control/X-G-2.html} 1245 \txtbipref{\notation{->}/2}{->/2}{../bips/kernel/control/-G-2.html}, 1248 \txtbipref{\notation{*->}/2}{*->/2}{../bips/kernel/control/X-G-2.html}
|
H A D | exthsusp.tex | 33 This chapter introduces the control facilities that distinguish the 136 the control aspect of the program. The solution would usually be to either 137 make further variable instantiations or to change control annotations. 152 \txtbipref{\tld/1}{(~)/1}{../bips/kernel/control/T-1.html} and the sound disequality 228 The tracer supports advanced control features via 299 is to avoid a possible mixing of meta-level control with the 912 manipulated under program control using the primitives defined in 1542 \txtbiprefni{cut}{!/0}{../bips/kernel/control/I-0.html}\index{cut}\indextt{!/0} 1596 \bipref{true/0}{../bips/kernel/control/true-0.html}, 1632 \txtbiprefni{cut}{!/0}{../bips/kernel/control/ [all...] |
H A D | umsdynamic.tex | 170 If it is set to \bipref{true/0}{../bips/kernel/control/true-0.html}, for
|
H A D | umsflags.tex | 306 \item[Description :] The total memory available to the local and control stack 344 \item[Description :] The value is a control string that is recognised 403 \item[Description : ] Used to control the operation of the profiling facility.
|
H A D | umsdebug.tex | 111 \biptxtref{disjunction (;/2)}{;/2}{../bips/kernel/control/O-2.html} 150 \bipref{throw/1}{../bips/kernel/control/throw-1.html} 151 (or \bipref{exit_block/1}{../bips/kernel/control/exit_block-1.html}). 154 \bipref{catch/3}{../bips/kernel/control/catch-3.html} 155 (or \bipref{block/3}{../bips/kernel/control/block-3.html}) 158 \bipref{catch/3}{../bips/kernel/control/catch-3.html} 162 \bipref{catch/3}{../bips/kernel/control/catch-3.html}). 307 condition or a call to \bipref{throw/1}{../bips/kernel/control/throw-1.html} 308 or \bipref{exit_block/1}{../bips/kernel/control/exit_block-1.html}; 585 (i.e., via \bipref{call/1}{../bips/kernel/control/cal [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | eplex.tex | 950 control on how the external solver takes the constraints into account. 1034 control how the cutpool constraints are treated when the problem is solved. 1377 \item The solvers have different solver parameters to control/tune the 1489 The external solver has a number of control 1500 Retrieve the value of a control parameter for the external solver for the 1506 Like lp_get/3, but get a control parameter for the external solver 1510 Retrieve the global value of a control parameter for the external solver. The 1516 Set a control parameter for the external solver for the problem represented 1522 Like lp_set/3, but set a control parameter for the external solver 1526 Set a control paramete [all...] |
H A D | extchr.tex | 166 lazy conjunction and disjunction ({\tt *control*})\index{control!sound}, 788 control built-in predicates of \eclipse\ is discouraged. Negation and 1143 allow the user more control so that for example a labelling rule can run at 1154 New options, intended to control the way the compiler tries to optimise
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 38 \item Separate choicepoint ("control") and environment ("local") stacks. 79 \item[control stack] choice points (copies of parts of the 94 \item Stacks are paired (control-local and global-trail) and each pair 376 \item[B] top of control stack. The stack grows towards higher addresses. 390 boundary, the control stack needs to be expanded immediately. 433 \item[B] top of control stack. The stack grows towards higher addresses. 1030 In addition, there are simple inter-procedural control transfer instructions. 1037 branch(ref(L)) & intra-procedural control transfer \\ 1224 \item transferring control by either a {\bf Call} instruction or 1281 \caption{{\eclipse} control stac [all...] |
H A D | globalstate.tex | 54 \item control-local stack
|
H A D | runtime.tex | 210 All 4 stacks\index{stacks} (control, local, global, trail) are scanned and every 312 \item abstract machine code (allowing control transfer between procedures) 434 The main purpose of the module system is to control the visibility\index{visibility}
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/project/ |
H A D | organisation.tex | 84 \item[cvs] for version control
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | label.pl | 270 (single_option(control, print_trace, 1) -> 582 handle_option(control, print_trace, Val) :-
|
/barrelfish-2018-10-04/doc/013-capability-mgmt/ |
H A D | type_system.tex | 375 the dispatcher control block"; 431 receiver's dispatcher control block"; 931 A kernel control block capability captures all the state for a single CPU 934 A kernel control block is structured according to the \verb|struct kcb|
|
/barrelfish-2018-10-04/doc/016-serial-ports/ |
H A D | Serial.tex | 74 8-bit words, no parity, no flow control). Serious applications
|
/barrelfish-2018-10-04/doc/000-overview/ |
H A D | Overview.tex | 125 \item Local access control to kernel objects and physical memory by 182 The kernel maintains a DCB (dispatcher control block) for each dispatcher 245 \emph{capabilities}~\cite{hank:capabilities} to control access to all 309 \item \emph{Dispatcher} capabilities hold dispatcher control blocks. 340 dispatcher control block or CNode), and they must also hold a
|
/barrelfish-2018-10-04/doc/022-armv8/ |
H A D | report.tex | 169 configuration and power interface) for platform discovery and control. 394 and by trapping all accesses to system control registers. 474 user-visible portion of the dispatcher control block, which contains the trap 527 ARMv8 has moved most cache and TLB management from the system control 1003 The design presented in this report is intended to expose as much control over
|
/barrelfish-2018-10-04/doc/017-arm/ |
H A D | ARM.tex | 569 the main domain control block. 687 Python is also used to control the simulation, taking and restoring 789 a real-time operating system to control the imaging subsystem.
|