/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | umscmacros.tex | 87 \item SYS_ERROR --- operating system error. 96 used when the system variable {\tt errno} contains the error code 97 of a system call, before the predicate returns using 194 return code is correctly passed back to the system. 329 After the return to the system, all the specified term pairs 583 %returns to the Prolog system and suspends the external predicate.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 45 In particular, it allows the system's behaviour 54 \item the attributes are included in the module system; 213 which is ignored by ordinary \emph{object level} system predicates. 242 The system does not check if the attribute that corresponds 527 by system coroutining.} 577 (keep in mind that the system has already bound the attributed variable to the
|
H A D | umsio.tex | 65 Used by the system or user programs to output warning messages. 68 Used by the system for information messages (e.g. garbage collection), 133 For compatibility with Prolog systems, the system accepts the stream 152 as this allows the system to better keep track of their lifetime. 236 system independent path name syntax, where the components are separated by 271 If it is uninstantiated, the system will bind it to an anonymous stream handle: 319 %system call. 360 When an attempt is made to close a redirected system stream (e.g., 362 the stream is closed, but the system stream is reset to its default setting. 1084 & print variables using a system [all...] |
H A D | exthsusp.tex | 110 At any time, the system attempts to solve the most urgent subgoal first. 164 Here, the system does not have enough information to decide whether the 310 The system does not verify these conditions currently. 429 The condition \about{Cond} can be the name of a system-defined waking condition, 727 domain variables are responsible for notifying the system when they 731 which is the generic way of telling the system that a variable has been 876 There is one system-defined trigger called \defnotion{postponed}.% 1066 The system keeps track of all created suspensions and it 1106 list of the (system-predefined) \notation{suspend} 1641 %In a restricted class of procedures the system raise [all...] |
H A D | umsarith.tex | 57 The system evaluates \about{Expression} which yields a numeric result. 148 \notationidx{prefer_rationals} is set, the system uses rational arithmetic 234 Note that the system never does automatic conversions in the opposite direction. 381 where \about{T1}, \about{T2} etc. are auxiliary variables created by the system
|
H A D | umscompiler.tex | 327 solution. No results are printed by the system, failure leads to a warning, 483 Generally, it is best to use the module system to structure {\eclipse} 558 \item[system] - set the \notation{type} flag of all following 615 The precompiled code is hardware and operating system independent. 701 It can be used to load application code or system libraries. 709 If this library is not yet compiled or loaded, the system will look 720 To implement reloading/recompiling when needed, the system keeps track of
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embed.tex | 89 your operating system environment. 125 the architecture/operating system name, 147 %If your operating system only supports static linking, or if you want 172 % The details may vary depending on what compiler and operating system 183 additional settings in your C/C++ compiler/development system: 198 C/C++ development system). 242 operating system thread, but is rather implemented as a set of C
|
H A D | dbi.tex | 114 system, and is covered by its own license. MySQL can be downloaded from 120 installed your {\eclipse} system should also make sure that {\eclipse} can 122 system can find dynamic load libraries, e.g.\ by putting the file in a 123 standard system library location, or in the {\eclipse} dynamic library
|
H A D | embfunc.tex | 141 The details may vary depending on what compiler and operating system
|
/barrelfish-2018-10-04/doc/003-hake/ |
H A D | Hake.tex | 17 \tnkey{Hake: the Barrelfish build system} % Short title, will appear in footer 157 This has helped to keep the system focussed and tractable. One 223 root of the tree (not the root file system). 283 system directory tree containing the source code for the programs 353 The Hake namespace is mapped onto the file system as follows: all 549 contains the definitions required to build the system for that 672 and try again. As you get more of a feel for the system it's possible
|
/barrelfish-2018-10-04/doc/021-cpudriver/ |
H A D | cpudriver.tex | 149 written into this memory region. Finally, a set of system calls are invoked 349 This section describe the architectural system calls that are not
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | kernel-lst.tex | 124 \item[resource(?PageReclaims, ?PageFaults, ?Swaps)]{Get information about paging and swapping from the operating system.}
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | umsterm.tex | 68 {\eclipse} system, they are either written in Prolog or in the implementation
|
H A D | eprolog.tex | 226 Bags and shelves disappear when the system backtracks over their 432 {\bf warning_output} (used by the system to output warning messages 434 {\bf log_output} (used by the system to output log messages, e.g.\ messages about garbage 674 The \eclipse{} module system controls the visibility of 813 recovery goal associated with that {\tt catch} is called, with the system
|
H A D | prolog.tex | 293 After executing the query, the system will print one of the 323 In practice, when answering queries with disjunctions, the system will 327 therefore system will give two {\bf Yes} answers: 335 Sometimes the system cannot decide whether an answer is the last one. 640 In our example, the Prolog system would attempt to unify 654 resolvent, and the system remembers that there is an untried
|
H A D | tutorial.tex | 122 and interaction with the system.
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | fat.tex | 104 exported as a service, creating a Barrelfish-internal system conceptually
|
H A D | running.tex | 34 Barrelfish's system knowledge base is not able to handle addresses above 32 bit
|
/barrelfish-2018-10-04/lib/acpica/source/tools/examples/ |
H A D | extables.c | 100 * software or system incorporating such software without first obtaining any 425 C2 works on MP system (V1) : 0 429 RTC can wake system from S4 (V1) : 0
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 175 %\ECL system, will give the reader an intuitive feeling for the range 213 Finally there is a brief section on the \ECL system, its external 215 obtain the system. 489 secondly that of system support (mainstream language programmers are 609 Moreover, we have added a star to the beginning of each line showing a system 693 The different components of the \ECL system all support the 839 For the full problem the system runs out of memory. 1253 and the system responds by printing out the resulting range. 1403 system itself can achieve useful propagation without even knowing the 1445 In this case the system faile [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | trace.c | 271 if (system(command) < 0)
|
H A D | types.h | 191 * Simplified types for Scheduler and message passing system. 248 int unit; /* system identifier (fd) */ 686 * ALLOC_VIRTUAL = virtual space pre-allocated , system allocates real memory 699 /* The number of this worker. 0 for sequential system */ 994 system, member in struct:__anon1659
|
/barrelfish-2018-10-04/doc/018-Practical-guide/ |
H A D | helloWorldApp.tex | 350 functionalities related to Barrelfish OS (eg: system calls, capability 351 system related functionalities, etc.)
|
/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/widget/ |
H A D | util.tcl | 588 $st(-system) $st(-archive)
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ |
H A D | config | 3 # OpenSSL config: determine the operating system and run ./Configure 425 # we fallback to whatever cc does on the system 493 echo Operating system: $GUESSOS 927 echo "This system ($OUT) is not supported. See file INSTALL for details."
|