Searched refs:other (Results 101 - 125 of 230) sorted by relevance

12345678910

/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dhybrid.tex37 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 Dprolog.tex46 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 Dsearch.tex143 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 Dsolversintro.tex132 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 Dumslanguage.tex117 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 Dumssyntax.tex37 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 Dumsopsys.tex257 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 Dumsparallel.tex180 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 Dumsio.tex167 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 Dca.c30 * 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 Dembtcl.tex40 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 DHake.tex156 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 DARM.tex249 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 Dobsman.tex159 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 Deplex.tex78 %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 Doutline.tex122 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 Dm_tree234.pl112 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 Dcoreboot.tex89 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 DUnwindCursor.hpp1259 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 Ddecoding_net4.pl502 % 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 Dio.tex107 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 Dbf_enc.c30 * 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 Dobj_dat.pl206 * documentation and/or other materials provided with the distribution.
H A Dobjects.pl157 * documentation and/or other materials provided with the distribution.
/barrelfish-master/lib/openssl-1.0.0d/crypto/x509v3/
H A Dv3_cpols.c17 * the documentation and/or other materials provided with the
103 ASN1_ADB_TEMPLATE(policydefault) = ASN1_SIMPLE(POLICYQUALINFO, d.other, ASN1_ANY);

Completed in 280 milliseconds

12345678910