Searched refs:list (Results 276 - 300 of 444) sorted by relevance

<<1112131415161718

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dfd_ilog.pl149 error(4, element(Index, List, Value)-"2nd arg: Ground integer list expected").
275 % Copy list In until a tail matching Until is reached.
276 % Output in difference list Out-Out0
H A Dfd_min_max.pl278 % Get the minimum and maximum value of a list of domain vars
279 % Where gets unified with 'expr' when the list contains expressions
301 % Constrain all variables in the list to be smaller than Max
307 % Constrain all variables in the list to be smaller than the cost bound
/barrelfish-master/lib/collections/
H A Dlist.c3 * \brief Barrelfish collections library list data structure
15 #include <collections/list.h>
18 * a simple linked list implementation.
73 * Creates a new linked list.
81 // this is an empty list containing only the header.
96 * Releases all the nodes in the list.
106 // list and release all the nodes.
129 * Inserts an element in the head of the list.
142 * Inserts an element at the tail of the list.
279 * Return the total number of nodes in the list
[all...]
/barrelfish-master/lib/queue_service/
H A Dservice.c22 #include <collections/list.h>
284 // check if aleady in list
/barrelfish-master/lib/vfs/
H A Dvfs_blockdevfs_ata.c191 // populate list
193 err = ahci_mgmt_binding->rpc_tx_vtbl.list(ahci_mgmt_binding, reply.port_ids, &reply.len);
238 // append to list
/barrelfish-master/usr/proc_mgmt/
H A Ddomain.c14 #include <collections/list.h>
76 * \brief Returns the next node in the list of available domain caps.
170 // get all domain ids and store in list
192 * \brief Adds a new core to the list of cores where the given domain runs.
270 // get all domain ids and store in list
/barrelfish-master/usr/skb/programs/
H A Dbridge_fake_bigfish.pl166 % create the list of devices and bridges in form of buselements and create the
205 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
222 % convert a tree to a list of buselements
347 % do not overlap with the given list of memory ranges
H A Ddecoding_net4.pl12 % NodeId = identifier. list of strings
43 % TODO: This should probably add to the list?
236 * Free list
240 % Assumption: Free list is sorted.
283 % Returns holes in the free list. Min/Max are the values used for
H A Dirq_routing_new.pl137 % last element of list (from lib listut)
182 % utility predicate to get the index of "1" in the list.
387 % Given a list of mapf entries, it adds the terms to the database,
406 % Gets a list with consecutive mapf entries for a installed route
415 % Given a list of mapf entries, print parseable list of entries.
442 % Returns a list of integers representing the int destinations
694 % Filter none atoms out of a list.
748 % GSIList is a list of GSI that this pci link device can output.
H A Dbridge_postorder_sorted.pl132 % create the list of devices and bridges in form of buselements and create the
162 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
202 % convert a tree to a list of buselements
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Delipsys.pl107 list/1,
319 MegaLog : abolish, dynamic -- takes bracket list as argument [a,b,c]
321 Sepia : abolish, dynamic -- takes comma list as argument a,b,c
664 MegaLog : allow to use a variable list during conversion (both ways)
952 list(X) :- var(X), !, fail.
953 list([_|_]).
955 type_of([_|_],Type) :- -?-> !, Type=list.
H A Dmegalog.pl141 MegaLog : abolish, dynamic -- takes bracket list as argument [a,b,c]
143 Sepia : abolish, dynamic -- takes comma list as argument a,b,c
544 MegaLog : allow to use a variable list during conversion (both ways)
850 MegaLog : discriminate compound and list
862 list([_|_]) ?- true.
864 type_of([_|_],Type) ?- Type=list.
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembtclmulti.tex120 is a list specifying the handlers, where each handler is specified
121 as two list elements of the form: {\tt type name},
125 ec_multi:peer_register [list interact tkecl:multi_interact_handler
289 ec_multi:peer_register [list start multi_start_handler \
364 ec_multi:peer_register [list start multi_start_handler]
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextpropia.tex253 which relates a list of products (eg \verb0Products0=\verb0[1,5,1]0),
254 to the number of each component required to build all the products in the list
270 If \verb0sum0 is invoked with a list of variables as its first argument,
273 list there are {\em 9} alternative products that could be chosen.
274 For a list of three variables there are consequently
H A Dic.tex388 Sum of a list of expressions.
391 Minimum of a list of expressions.
394 Maximum of a list of expressions.
489 Domain can be specified as a simple range Lo .. Hi, or as a list
535 Domain can be specified as a simple range Lo .. Hi, or as a list
786 Constrains all elements of a list to be different from all other
787 elements of the list.
792 Constrains Value to be the Index'th element of the list of integers List.
811 Instantiates all IC variables in a list to elements of their domains.
816 A flexible way to select an integer IC variable from a list o
[all...]
H A Dintroduction.tex84 a list of finite domain variables, of unspecified length.
94 but different propagation. The constraints take a list
153 case the constraint is recorded in a list of violated constraints.
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumserrors.tex44 We list here the {\eclipse} event types together with the default
222 is the list
237 155 & A list associating the variable names with their values after the
335 273 & list of sleeping suspensions & undefined \\
441 %prints a list of delayed goals and succeeds.
H A Dumscompiler.tex46 in the form of a data structure (list of clause terms).
78 Options is a list of options to control the compilation process, see details
85 It accepts a list of files, which can be source files or precompiled files.
95 Like compile_stream/1 but with options list.
99 usually a list of clauses and directives.
106 Like \predspec{compile_term/2} but with options list.
143 extension and no file with \notation{.ecl} extension is present. The list of
410 The following is a list of the directives most commonly used in source files:
495 the include directive. Files is a single file name or a list of them.
696 It accepts a list o
[all...]
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_comments.pl274 "Domain": "A list (pair) with glb and poss."],
299 "Domain": "A list (pair) with glb and poss."],
469 a list with the following data:<P>
473 list of all elements in the sets of SetVariable's poss (lub\\glb)
511 an integer, an FD variable, or an integer domain (list or range)."),
532 "Functions": "A list."],
536 Functions is a list of functions over SetVariable in the form
540 cardinality: FunctionValue can be an integer, an FD variable or an integer domain (list or range)
572 args: ["SetVariables": "A list of variables.",
575 "Functions": "A list
[all...]
/barrelfish-master/lib/lua/src/
H A Dlgc.c98 ** link table 'h' into list pointed by 'p'
188 ** i.e., moved into the 'allgc' list
209 ** it to '*list'. 'offset' tells how many bytes to allocate before the
212 GCObject *luaC_newobj (lua_State *L, int tt, size_t sz, GCObject **list, argument
217 if (list == NULL)
218 list = &g->allgc; /* standard list for collectable objects */
221 gch(o)->next = *list;
222 *list = o;
240 ** to appropriate list t
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Ddomain.pl120 % CHIP list shorthand for domain variables
121 % list must be known (end in the empty list)
150 % X::Dom - X must be a ground term in the ascending sorted ground list Dom
378 % uses list domains and ne/2
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Demu_c_env.c64 #define CONSTRAINED_OFF 2 /* 'constrained' list */
945 * where the circular list is full - in either case simply rewind
1000 /* Link tail to head to complete circular list creation */
1087 pword **list) /* list of unified metaterms */
1169 return bind_c(v1.ptr, &aux_pw, list);
1177 return bind_c(v2.ptr, &aux_pw, list);
1236 if (ec_unify_(pw1->val, pw1->tag, pw2->val, pw2->tag, list) == PFAIL)
1318 * The first a difference list, the others are normal lists.
1338 s->val.ptr = susp; /* list elemen
1083 ec_unify_(value v1, type t1, value v2, type t2, pword **list) argument
1601 bind_c(register pword *pw1, register pword *pw2, register pword **list) argument
[all...]
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsearch.tex446 from left to right as they occur in the list, and they are
487 variables such that the middle ones are first in the list:
495 The implementation of middle\_first/2 requries a bit of list manipulation
955 %search. The predicate supporting static LDS takes a list of variables
956 %(those which are to be labelled) and a list of values (one heuristic
975 %\item[Vars] the list of problem variables. Some of the
978 %\item[Vals] the list of values according to the heuristic. It
1042 %Each variable in the list of variables {\em Vars}
1158 \item For given N, create a list of length N whose members are numbers
1161 For each element E of the list, it
[all...]
/barrelfish-master/lib/openssl-1.0.0d/
H A DMakefile.bak127 # keep in mind that the above list is adjusted by ./Configure
462 # Build distribution tar-file. As the list of files returned by "find" is
464 # would occur. Therefore the list of files is temporarily stored into a file
471 find * \! -path CVS/\* \! -path \*/CVS/\* \! -name CVS \! -name .cvsignore \! -name STATUS \! -name TABLE | sort > ../$(TARFILE).list; \
472 $(TAR) $(TARFLAGS) --files-from ../$(TARFILE).list -cvf - | \
477 rm -f ../$(TARFILE).list; \
H A DMakefile.org125 # keep in mind that the above list is adjusted by ./Configure
460 # Build distribution tar-file. As the list of files returned by "find" is
462 # would occur. Therefore the list of files is temporarily stored into a file
469 find * \! -path CVS/\* \! -path \*/CVS/\* \! -name CVS \! -name .cvsignore \! -name STATUS \! -name TABLE | sort > ../$(TARFILE).list; \
470 $(TAR) $(TARFLAGS) --files-from ../$(TARFILE).list -cvf - | \
475 rm -f ../$(TARFILE).list; \

Completed in 218 milliseconds

<<1112131415161718