Searched refs:any (Results 26 - 50 of 232) sorted by relevance

12345678910

/barrelfish-master/doc/015-disk-driver-arch/
H A Dblockdevfs.tex16 handle. blockdevfs does not enforce any kind of order in this list. Therefore,
52 \item \lstinline+open(void *handle)+ to open an exported file. The backend does not have to check or manipulate any blockdevfs-specific structures. blockdevfs ensures that only one client has a file open concurrently.
68 does not accept any further parameters.
71 list of directory entries. Listing the directory contents will yield any
81 As both these backends expose the same devices (namely any \ac{sata} disks
H A Dxahcid.tex67 triggered as a consequence of any commands issued in the command completion
68 handler. Missing any interrupts for further completions could deadlock a user
H A Dconclusion.tex18 this problem, the management service would have to check and validate any
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dfd_domain.pl75 :- export struct(fd(domain, min, max, any)).
82 * any - the delayed goals woken if the domain is changed
116 any:(any of fd), label
117 domain:(any of fd),
325 merge_suspension_lists(any of fd, AttrX, any of fd, AttrY)
340 schedule_suspensions(any of fd, Attr),
466 empty_domain(D, fd with [domain:D, any:[], min:[], max:[]]).
477 susp_domain(fd with [min:Mi, max:Ma, any
[all...]
H A Dnumbervars.pl48 is any term, From and To are integer numbers. All variables in Term
/barrelfish-master/usr/eclipseclp/documents/visualisation/
H A Dannotate.tex88 code normally (that is to say, without any visualisation clients), and
162 \item[\texttt{any}] which includes any ECLiPSe term.
163 \item[\texttt{numeric_bounds}] which includes any ground number,
189 array([flexible,fixed], any)),
406 array([fixed], changeable(foo, any))),
409 This \emph{changeable} element type can appear in any form of the
418 array([fixed,fixed], changeable(foo, any))),
440 \item[types] elements of a \viewable{} may be defined as being numeric values or may be any \eclipse term. The type of a \viewable{} will determine how it can be visualised.
H A Dclients.tex42 \caption{The initial Java VC screen before any viewables have been created.}
119 The Java VC provides many ways of visualising any single element of a
162 \item[TextTable] Renders any type of 1D and 2D \viewable{}s as a grid
183 up to 1.0 indicating full usage (thick black line) and any number
187 \item[Gantt] Interprets the first three rows of any 2D viewable with
192 \item[Bar chart] Renders any $n$-dimensional \texttt{numeric_bounds}
309 Within a \viewer{}, as previously mentioned, any number of \viewlet{}s
320 The most common action, which can be performed on any type of
322 indicates that the Java VC should hold control whenever any sort of
406 selection dialog will pop up, from which any combinatio
[all...]
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Deplexdiff.tex49 programming, where eplex is being used with another {\eclipse} solver, any
78 instance. Other eplex instances (and indeed any other bounds-keeping
95 even though this was not posting a constraint to any eplex instance.
106 any other constraints.
110 solver also does not do any bounds propagation that may be implied by the
128 \item If a bounds keeper like lib(ic) is loaded, then any bounds
H A Dintroduction.tex41 In fact the simplest implementation of any constraint is to suspend it
132 any user-defined predicate, and as a second argument a form of
135 This functionality enables the user to turn any predicate into a
151 associated with any variable \cite{cp99wkshoptalk}.
158 any variables whose tentative values depend on the changed one.
192 This library handles any user-defined piecewise linear function as a
H A Dextconjunto.tex64 the Herbrand Universe or its powerset but without any variable.
106 predicates deal with set terms thus with any of the three cases.
379 {\bf conjunto.pl} library makes sure that any modification of an fd
409 with set constraints saying that any intersection of two set terms
413 for any {\em n}.
570 del\verb/_/glb:Dglb, del\verb/_/lub:Dlub, del\verb/_/any:Dany\}}
597 \item {\bf del\verb/_/any} a suspension list that should be woken when
598 any reduction of the domain is inferred.
692 modification and the one associated to {\bf any} modification. This
811 predicate checks that any elemen
[all...]
H A Drepair.tex50 constraints that are violated at any point in the search,
93 list of variables or any nonground term. Values must be a
128 between repair and any underlying solver that maintains a domain for
159 \item The tentative assignment is undefined for any of its variables.
220 {\bf Constraint} can be any goal that works logically, it should be useable
221 as a ground check, and work on any instantiation pattern. Typically,
283 Note that all these variables must be reassigned in any solution
318 Note that any repair action can change the conflict set,
376 tentative value eagerly whenever the tentative assignment of any
388 This process repeats whenever the tentative value of any I
[all...]
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsolversintro.tex46 The simplest implementation of any constraint is to suspend it
71 %The user can also specify any piecewise linear unary function and {\em ic}
175 any user-defined predicate, and as a second argument a form of
178 This functionality enables the user to turn any predicate into a
237 associated with any variable \cite{cp99wkshoptalk}.
244 any variables whose tentative values depend on the changed one.
H A Dpropiachr.tex50 leaving any choice points. Constraint propagation behaviour can be
136 their execution setting up any choice points.
211 finding all solutions to the goal and extracting any information that
331 propagation it does not suspend any more.
338 As with any \eclipse{} goal, when executed its result is a further
351 The meaning of {\em most specific} is that any other term that
353 For example, any other term that generalises $p(a,f(b)$ and
435 domain, but otherwise it includes any \eclipse{} term without variable
641 Whenever a point is reached where any subset of the variables are all
661 Each clique is held as a sorted list to avoid any duplicatio
[all...]
/barrelfish-master/lib/openssl-1.0.0d/Netware/
H A Dcpy_tests.bat12 rem <NetWare drive> - any mapped drive letter
108 echo [NetWare drive] - any mapped drive letter
/barrelfish-master/lib/openssl-1.0.0d/crypto/conf/
H A Dkeysets.pl70 * Copyright remains Eric Young's, and as such any Copyright notices in
91 * 4. If you include any Windows specific code (or a derivative thereof) from
107 * The licence and distribution terms for any publically available version or
/barrelfish-master/usr/eclipseclp/Contrib/
H A Doccur.pl41 % infinitely many Kernels not contained in any Expression, and als
42 % infinitely many Expressions not containing any Kernel, it doesn't
H A Dxml_diagnosis.pl21 * element tag and <id> is the value of any attribute _named_ id.
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dilog.pl63 :- define_struct(fd(domain, variable, min, max, any)).
171 empty_domain(D, fd with [domain:D, any:[], min:[], max:[]]).
195 A = fd with [domain:I, min:[], max:[], any:[]].
208 init_suspension_list(any of fd, Attr),
/barrelfish-master/usr/eclipseclp/lib_tcl/widget/
H A Dutil-expand.tcl39 -type any -widget {}
/barrelfish-master/tools/fof/
H A DFutureWork.tex10 This is going to look like a brain dump, despite any effort to make it
37 any kind of data-flow analysis and optimization. Instead of
/barrelfish-master/usr/eclipseclp/documents/mpslib/
H A Declipse.tex49 be brought into a state in which they do not require any further
50 communication. They can easily be removed since they do not hold any
57 state of the old worker in the new worker, (4) forward any pending messages
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dfrequency.pl107 suspend(frequency_aux(Vars,Occs,Vals,ValuesDom,S),4,[S->min,Var->any])
179 4, X->any, Susp)
215 insert_suspension(X,Susp,any of fd,fd),
H A Drepair.pl150 constraints that are violated at any point in the search,
423 Constraint can be any goal that works logically, it should be useable
424 as a ground check, and work on any instantiation pattern. Typically,
477 Constraint can be any goal that works logically, it should be useable
478 as a ground check, and work on any instantiation pattern. Typically,
746 Succeeds if Term is tenable. A Term is tenable if it does not contain any
747 variables with tentative values which are inconsistent with any constraints
790 % domains and any important properties but are new variables with no
869 Associate tentative values with variables. Vars can be any non-ground term,
1010 tentative value eagerly whenever the tentative assignment of any
[all...]
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumscompiler.tex127 To compile a source files solver.ecl, any of the following forms is
188 Using this feature, any {\eclipse} stream (file, socket, tty, string,
231 Do not load any code into memory, do not execute queries,
236 Do not overwrite any code in memory, but load new predicates.
393 if there was any, before starting to compile predicates
528 and any debug-option given to the compiler.
532 and any debug-option given to the compiler.
541 and any expand-option given to the compiler.
545 and any expand-option given to the compiler.
563 \item[warnings] - enable compiler warnings, overriding any
[all...]
/barrelfish-master/lib/openssl-1.0.0d/util/
H A Dmkerr.pl63 fact if any error or function codes have been added/removed.
98 Default: don't write any scope modifier prefix.
209 # Delete any DECLARE_ macros
422 " * 6. Redistributions of any form whatsoever must retain the following\n",
533 # First, read any existing reason string definitions:
607 * 6. Redistributions of any form whatsoever must retain the following
632 /* NOTE: this file was auto generated by the mkerr.pl script: any changes

Completed in 207 milliseconds

12345678910