Searched refs:list (Results 251 - 275 of 444) sorted by relevance

<<1112131415161718

/barrelfish-master/usr/skb/programs/
H A Dbridge_postorder.pl129 % create the list of devices and bridges in form of buselements and create the
159 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
180 % convert a tree to a list of buselements
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dkb.pl106 list([_|_]) ?- true.
541 list(Arg), !,
861 'KB_valid_rel_name'(X), list(ProjL), !,
939 It modifies the argument list so that uninstantiate those
1114 /* Generate a list of codified trees (CondTrees) of the
1252 [Proj - projection list in src form]
1253 Args - the list of variables per attribute in the relation
1255 [VProj - projection list in var form]
1256 [SrcPrj - projection list in name form for result rel]
1387 ProjExprL - list o
[all...]
H A Dtconv.pl81 % The list must be finite and all elements instantiated to valid character codes
H A Dtracer_tcl.pl480 threshold length for treating list specially
506 translate_pos(list(N), Out) ?-
531 provide_childnodes(list, Path, Term, _, LSize, Reply, Module) ?- !,
555 term_string(list(ListPos0), Pos0S),
557 ((TType == list, ListPos0 < LSize) ->
656 ; C = [_|_] -> % a list (may be non-proper)
657 Type = list
678 %valid_pos(list(N0), N) ?- integer(N0), !, N = N0.
708 get_functorarity(list, _, F, A) ?- !,
755 get_subterm_child(list(Po
[all...]
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsolversintro.tex99 a list of finite domain variables, of unspecified length.
114 The constraints take a list
239 case the constraint is recorded in a list of violated constraints.
269 it via the {\tt eclipse-users@icparc.ic.ac.uk} mailing list!
/barrelfish-master/lib/openssl-1.0.0d/crypto/objects/
H A Dobj_dat.pl203 * notice, this list of conditions and the following disclaimer.
205 * notice, this list of conditions and the following disclaimer in the
H A Dobjects.pl154 * notice, this list of conditions and the following disclaimer.
156 * notice, this list of conditions and the following disclaimer in the
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/
H A Dmlx4_ib.h17 * copyright notice, this list of conditions and the following
21 * copyright notice, this list of conditions and the following
39 #include <linux/list.h>
177 struct list_head list; member in struct:mlx4_ib_gid_entry
514 struct list_head list; member in struct:mlx4_ib_iov_port
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Dpuzzle_bool.pl40 the list of variables involved in this boolean expression; so
106 add(I,J+1,N,B,R4,[]) , % L is the list of neighbours of (I,J)
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic_make_overlap_bivs.pl92 InBivs, OutBivs - a list of bivalued variables
96 If created, the variable is added to the appropriate list.
216 args:["Tasks": "A list of task structures - see library(ic_probe_support)",
217 "BivLists": "A list of lists of integer variables",
218 "BivSums": "A list of integer variables, each one the sum of a list
H A Dmake_overlap_bivs.pl92 InBivs, OutBivs - a list of bivalued variables
96 If created, the variable is added to the appropriate list.
216 args:["Tasks": "A list of task structures - see library(probe_support)",
217 "BivLists": "A list of lists of integer variables",
218 "BivSums": "A list of integer variables, each one the sum of a list
/barrelfish-master/usr/drivers/cpuboot/
H A Dmain.c105 static int parse_core_list(char *list, coreid_t *from, coreid_t *to, coreid_t *step) argument
110 num = sscanf(list, "%i:%i:%i", &parsed_from, &parsed_to, &parsed_step);
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsusing.tex133 selecting the appropriate entry from the drop-down list to the left of the
147 these may be recalled either by using the drop-down list to the right of the
226 the current list of delayed goals.
250 Some have been mentioned above, but here is a more complete list.
378 The list in square brackets on the first line specifies the configuration
440 used to compile a file or list of
586 The history list is printed with the command \notation{h}.
604 First, when a fragment of a built-in name is specified, a list of short
701 This flag contains a list of strings containing the pathnames of the
719 a list o
[all...]
H A Dextmeta.tex73 \about{HandlerList} is a (possibly empty) list of handler specifications
190 the list has to be dereferenced for each access and update).
226 is a list of handlers in the form
274 list.
371 \about{ListOfSuspLists} to a list containing all the attribute's
484 term, \about{GoalList} is an open-ended list of all delayed
486 tail of this list.
563 a \notation{enum/1} structure with a list holding the values the variable may
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex445 from left to right as they occur in the list, and they are
482 variables such that the middle ones are first in the list:
490 The implementation of middle\_first/2 requries a bit of list manipulation
541 dom(X, List), % the list of values in X's domain
635 \verb0bounded_backtrack_search0, and it takes two arguments, a list of
824 search. The predicate supporting static LDS takes a list of variables
825 (those which are to be labelled) and a list of values (one heuristic
844 \item[Vars] the list of problem variables. Some of the
847 \item[Vals] the list of values according to the heuristic. It
911 Each variable in the list o
[all...]
/barrelfish-master/doc/014-bulk-transfer/
H A Dbulk-transfer.tex108 creates a list of pbuf structures, each one of them holding an offset
114 pbuf needs to store the offset separately in another list. So,
121 application and network driver maintain the list of pbufs in their
122 private memory. This list is kept in synchronization by sending
385 does by maintaining the list of shared-pools. At the time of producer
440 \item \textbf{consumer-list:} Which consumers are accessing it?
441 \item \textbf{Next, prev:} Used to maintain the list (eg. Free slots)
444 The producer maintains a separate meta-slot list for very shared-pool
448 Other than this, the producer also maintains the list of consumers who
459 \item List of consumers connected. This list als
[all...]
/barrelfish-master/lib/libc/isc/
H A Deventlib_p.h43 #include <isc/list.h>
/barrelfish-master/lib/libc/resolv/
H A Dres_update.c50 #include <isc/list.h>
57 * Separate a linked list of records into groups so that all records
111 /* Thread all of the updates onto a list of groups. */
/barrelfish-master/lib/lua/src/
H A Dlgc.h21 ** any gray object must be in a "gray list" (gray, grayagain, weak,
91 #define SEPARATED 4 /* object is in 'finobj' list or in 'tobefnz' */
107 a GC list, its old bit must be cleared */
149 GCObject **list, int offset);
/barrelfish-master/lib/lwip2/src/
H A DFilelists.mk9 # this list of conditions and the following disclaimer.
11 # this list of conditions and the following disclaimer in the documentation
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex188 up list operations by having only to deal with TLIST and TNIL tags.
274 pair of pwords on the global stack, representing the list head\index{head} and tail\index{tail}.
444 descriptors, implemented as a list threaded into the global stack.
460 \item[LD] top of the list of all suspended goals. This is a conceptual stack,
461 threaded into the global stack (i.e.\ it is a linked list of frames
463 \item[MU] list of meta-unifications. A volatile register that passes a list
468 \item[SV] list of suspending variables. A volatile register that passes
469 a list from a C-builtin to the emulator code that created a
515 \item[ALLREFS] points to a list o
[all...]
/barrelfish-master/lib/openssl-1.0.0d/crypto/conf/
H A Dconf.h27 * notice, this list of conditions and the following disclaimer.
29 * notice, this list of conditions and the following disclaimer in the
205 int CONF_parse_list(const char *list, int sep, int nospc,
/barrelfish-master/include/openssl/
H A Dconf.h27 * notice, this list of conditions and the following disclaimer.
29 * notice, this list of conditions and the following disclaimer in the
205 int CONF_parse_list(const char *list, int sep, int nospc,
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/mlx4/
H A Ddevice.h16 * copyright notice, this list of conditions and the following
20 * copyright notice, this list of conditions and the following
43 #include <linux/list.h>
561 struct list_head list; member in struct:mlx4_db_pgdir
1201 struct list_head list; member in struct:mlx4_spec_list
1216 struct list_head list; member in struct:mlx4_net_trans_rule
/barrelfish-master/lib/devif/backends/net/mlx4/include/rdma/
H A Dib_verbs.h22 * copyright notice, this list of conditions and the following
26 * copyright notice, this list of conditions and the following
50 #include <linux/list.h>
63 #include <linux/list.h>
407 struct list_head list; member in struct:ib_event_handler
414 INIT_LIST_HEAD(&(_ptr)->list); \
965 struct list_head list; /*link to context's list*/ member in struct:ib_uobject
980 struct list_head list; link to context's list
1337 struct list_head list; member in struct:ib_client
[all...]

Completed in 247 milliseconds

<<1112131415161718