/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | hybrid.tex | 37 linear solver to other variables handled by the domain solver. 92 solvers communicate with each other, thus further speeding up constraint 98 On the other hand the {\tt eplex} solver often detects inconsistencies 122 {\tt eplex} and the other constraints being sent to {\tt ic}. 262 constraints to {\tt eplex} and the other constraints to {\tt ic}. 484 the time point, the other non-overlap boolean will be forced to 0 716 in at least two other ways: that it 733 the {\tt ic} solver because both solvers wake each other and 914 Dual values are used in other hybridisation forms, devised by the 925 other form [all...] |
H A D | prolog.tex | 46 other programming languages are integers and floating point numbers. 122 constants in other languages. No special meaning is attached to them 170 Structures correspond to structs or records in other languages. A 263 Where other programming languages have procedures and functions, 397 In conventional programming languages on the other hand, variables 444 A goal can be a conjunction or disjunction of other (sub-)goals. 539 another way X can be an ancestor of Y states that if some other 584 % If the two terms being unified do not match with each other, then the 1067 the other hand, if any of the list elements of the list is a variable, they
|
H A D | search.tex | 143 structure. Of course, it will have to take other precautions to avoid 252 of maximum depth N for bookkeeping. Most other strategies of tree 277 In other words, the original problem is reduced to a disjunction 286 branch of the search tree and to 1 in the other. 309 or by choosing a value in one branch and excluding it in the other: 359 The other way to change the search tree is value selection, i.e. reordering 620 Note that there are other possible ways of defining the number of backtracks. 904 is found, other search methods should be tried.
|
H A D | solversintro.tex | 132 the other set solvers lib(conjunto) and lib(fd_sets) are similar but not 152 Optimal solutions and other solution porperties can be returned to
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umslanguage.tex | 117 other field names in the structure. 166 while the other two arguments remain hidden. 170 Structures can be declared to contain other structures, 325 in \about{Struct}. (In other words, \notation{arg(Idx,~Struct,~X)} is true.) 343 \about{Array}. (In other words, \notation{subscript(Array,~Idx,~X)} is 479 (instead of \about{do__nnn}). The name should therefore not clash with other 904 no significance other than reminding the programmer that 1028 On the other hand, each time an atom is read into the system, it has to 1108 strings can easily be converted to other data types. 1200 \item Replacing other metalogica [all...] |
H A D | umssyntax.tex | 37 other commercial Prolog systems are made. The {\eclipse} syntax is based on that 284 It is illegal for any other character to follow the ES. 322 i.e.\ independent of syntax option settings. The other sequences are present 522 Quotes, on the other hand, are used to build atoms from characters 563 \section{Syntax Differences between {\eclipse} and other Prologs}
|
H A D | umsopsys.tex | 257 A {\eclipse} process can communicate with other processes via streams and by 358 input (in other cases it may be necessary to send a signal). 392 For explicitly sending signals to other processes
|
H A D | umsparallel.tex | 180 spent their time, together with some other data about the parallel execution. 239 then the other. The order is unspecified. It is however, expected 247 with the execution of similarly protected code on other workers.
|
H A D | umsio.tex | 167 be used to check whether two stream names are aliases of each other. 320 %This mechanism is normally used to communicate with other processes 355 the actual stream. All the other aliases should be closed as well 379 so that all standard output is redirected to some other destination 565 A term may be read from a stream other than the current input stream by 574 For additional information about other options for reading terms, 651 %other input predicates. 1129 The other term output predicates
|
/barrelfish-master/lib/openssl-1.0.0d/apps/ |
H A D | ca.c | 30 * documentation and/or other materials provided with the distribution. 2692 char *other = NULL, *str; local 2731 other = rev_arg; 2743 other = rev_arg; 2758 if (other) i += strlen(other) + 1; 2770 if (other) 2773 BUF_strlcat(str, other, i);
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embtcl.tex | 40 interfaces for other languages. 93 Initialise the {\eclipse} engine. This is required before any other 235 queue, and it only becomes available to the other side when the queue is 238 also has the effect of briefly transferring control to the other side to 241 necessary in the embedding case to make the data available to the other 395 These handlers can be invoked automatically whenever the other side initiates 537 other agents which can decode EXDR-format.
|
/barrelfish-master/doc/003-hake/ |
H A D | Hake.tex | 156 Hake's suitability for any project other than Barrelfish, and indeed 242 Finally, there are two other kinds of high-level construct that Hake 315 architecture, and anything in any other architecture must be generated 320 \item[tools] is used to build other build process tools (Mackerel, 455 architecture, since they have presumably been built by other rules. 479 Make rule. In other words, they refer to files which will appear 529 in the build tree and needs access to other resources in the tree.
|
/barrelfish-master/doc/017-arm/ |
H A D | ARM.tex | 249 practice is likely to be dominated by the other limitations mentioned 278 Like many other popular operating systems, Barrelfish employs a memory 419 dispatcher is ``enabled'' (in other words, whether the dispatcher 672 the other two models. The InOrder CPU models an in-order pipeline and 723 \item monitor spawns ramfsd, skb and all the other modules 754 \item monitor spawns ramfsd, skb and all the other modules 765 \item Kernel spins on pseudo-lock until other kernel releases it
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | obsman.tex | 159 treat atomic and other ground terms as variables with singleton domains. 497 As soon as one of {\it E1} or {\it E2} becomes false, the other constraint 512 If one expression becomes true, the other one will be imposed. 513 If one expression becomes false, the negation of the other one will be imposed. 838 and this value is propagated to the other variables, all 880 % Queens in rows X and Y cannot attack each other 949 and changes are propagated to the other variables, the search space 951 or the domains of other variables are reduced or directly instantiated. 970 other constraints, can speed up the search considerably. 1124 Fails if neither domain is a subset of the other on [all...] |
H A D | eplex.tex | 78 %facilitate interfacing to other solvers. 116 Like other solvers, each eplex instance has its own module. To use an eplex 241 when problem variables have been declared as integers in other 247 do not place any restrictions on the variables for other eplex instances or 254 other constraint on the variables. 361 problem variables by bindings these variables. On the other hand, {\bf 688 particular solver state by the other predicates. The handle should be 701 The other arguments are the same as in {\tt eplex_solver_setup/4}, except 731 However, when variables have been declared integers in other solvers (e.g.\ 1010 belongs unless specified otherwise. To add cutpool constraints to other [all...] |
/barrelfish-master/usr/eclipseclp/documents/mpslib/ |
H A D | outline.tex | 122 that make use of the same name server can communicate with each other. 186 respectively. While the other predicates are mainly facilitators, the 192 and other processes. 205 other hosts. 475 i.e. only \eclipse processes can communicate with other \eclipse
|
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | m_tree234.pl | 112 This predicate should only be called with trees created by other 136 This predicate should only be called with trees created by other 161 This predicate should only be called with trees created by other 189 This predicate should only be called with trees created by other 218 This predicate should only be called with trees created by other 246 This predicate should only be called with trees created by other 275 This predicate should only be called with trees created by other 302 This predicate should only be called with trees created by other 330 This predicate should only be called with trees created by other 356 This predicate should only be called with trees created by other [all...] |
/barrelfish-master/doc/023-coreboot/ |
H A D | coreboot.tex | 89 selected and loaded by a \textit{boot driver}, which among other things, is 117 having multiple KCBs on one core but other models are possible as well. 209 \item The monitor will inform the other boot driver about its existence by
|
/barrelfish-master/lib/cxx/unwind/ |
H A D | UnwindCursor.hpp | 1259 size_t operator-(const _Self& other) { return _i - other._i; } argument 1261 bool operator==(const _Self& other) const { 1262 assert(_addressSpace == other._addressSpace); 1263 assert(_sects == other._sects); 1264 return _i == other._i; 1926 // other FDEs.
|
/barrelfish-master/usr/skb/programs/ |
H A D | decoding_net4.pl | 502 % if no other allocation passes through that mapping. 512 % this node can be removed, because there is no other mapping hitting that block. 551 % this node can NOT be removed, because there are other mapping hitting that block.
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | io.tex | 107 A number of other syntax options are configurable as well, e.g.\ 153 flags to emulate the behaviour of other Prolog systems and standards.
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/bf/ |
H A D | bf_enc.c | 30 * documentation and/or other materials provided with the distribution. 68 #error If you set BF_ROUNDS to some value other than 16 or 20, you will have \
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/objects/ |
H A D | obj_dat.pl | 206 * documentation and/or other materials provided with the distribution.
|
H A D | objects.pl | 157 * documentation and/or other materials provided with the distribution.
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/x509v3/ |
H A D | v3_cpols.c | 17 * the documentation and/or other materials provided with the 103 ASN1_ADB_TEMPLATE(policydefault) = ASN1_SIMPLE(POLICYQUALINFO, d.other, ASN1_ANY);
|