/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | blockdevfs.tex | 16 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 D | xahcid.tex | 67 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 D | conclusion.tex | 18 this problem, the management service would have to check and validate any
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | fd_domain.pl | 75 :- 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 D | numbervars.pl | 48 is any term, From and To are integer numbers. All variables in Term
|
/barrelfish-master/usr/eclipseclp/documents/visualisation/ |
H A D | annotate.tex | 88 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 D | clients.tex | 42 \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 D | eplexdiff.tex | 49 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 D | introduction.tex | 41 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 D | extconjunto.tex | 64 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 D | repair.tex | 50 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 D | solversintro.tex | 46 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 D | propiachr.tex | 50 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 D | cpy_tests.bat | 12 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 D | keysets.pl | 70 * 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 D | occur.pl | 41 % infinitely many Kernels not contained in any Expression, and als 42 % infinitely many Expressions not containing any Kernel, it doesn't
|
H A D | xml_diagnosis.pl | 21 * element tag and <id> is the value of any attribute _named_ id.
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | ilog.pl | 63 :- 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 D | util-expand.tcl | 39 -type any -widget {}
|
/barrelfish-master/tools/fof/ |
H A D | FutureWork.tex | 10 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 D | eclipse.tex | 49 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 D | frequency.pl | 107 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 D | repair.pl | 150 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 D | umscompiler.tex | 127 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 D | mkerr.pl | 63 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
|