Searched refs:cases (Results 51 - 72 of 72) sorted by relevance

123

/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex147 either of these cases.
424 Note: The simple cases (e.g.\ \verb|Bool #= (X #> 5)|) are
H A Dextconjunto.tex106 predicates deal with set terms thus with any of the three cases.
H A Dextfd.tex1082 the most specific generalisation of two domains, in the usual cases
H A Dobsman.tex1188 the most specific generalisation of two domains, in the usual cases
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex1337 the worst one from the knapsack. In both cases, the move gets rememebered
1685 cases, although at the price of a slightly more complex implementation
/barrelfish-master/lib/tommath/
H A Dbn.tex163 However, there are cases where such a build is not optional. For instance, you want to perform RSA operations. You
1157 Which assigns the full signed product $ab$ to $c$. This function actually breaks into one of four cases which are
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dbranch_and_bound.pl497 % have to consider all sorts of special cases...
H A Dfd.pl1286 generalisation of two domains, in the usual cases the domains become
3006 both cases (first task before the second one or voce versa) and removes
H A Dasm.pl1798 % two cases outside the range
H A Dkernel.pl1600 % Various cases:
5910 % var(Expr) ; number(Expr) ; and error cases
6513 get_spec(for(I,FromExpr,To,Step), % Special cases, only 1 arg needed
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembed.tex550 cases, since large terms are constructed on the {\eclipse} global stack.
H A Dembremote.tex1461 However, there may be cases where the two interfaces need to be
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsusing.tex159 In all cases it also prints the total time taken to execute the query.
H A Dexthsusp.tex1685 MU-Prolog's wait declarations can be in most cases
/barrelfish-master/doc/012-services/
H A DServices.tex868 In many cases the implementation has been a simple prototype
/barrelfish-master/doc/003-hake/
H A DHake.tex165 cases for Hake: building Barrelfish applications (user-space
/barrelfish-master/doc/017-arm/
H A DARM.tex411 cases, if the processor was not in \mode{User}, the result is that
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dprolog.tex1062 such cases, the above predicate does indeed check if \verb'Item' occurs in
/barrelfish-master/doc/008-tracing/
H A DTracing.tex387 sufficient, as there are use cases where applications log so many events, that
/barrelfish-master/doc/006-routing/
H A DRouting.tex62 two or more cores do not have access to the same region of memory. In such cases to communication these cores will have to route via another set of cores if such a path exists.
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Dech.pl869 rules). In such cases, there are two factors: if the head constraints have
/barrelfish-master/doc/002-mackerel/
H A DMackerel.tex277 register, specify \texttt{msbfirst}. In both cases type the fields

Completed in 190 milliseconds

123