Searched refs:element (Results 51 - 75 of 149) sorted by relevance

123456

/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/
H A Duverbs_main.c449 __u64 element, __u64 event,
468 entry->desc.async.element = element;
485 struct ib_ucq_object *uobj = container_of(event->element.cq->uobject,
497 uobj = container_of(event->element.qp->uobject,
509 uobj = container_of(event->element.srq->uobject,
523 ib_uverbs_async_handler(file, event->element.port_num, event->event,
530 ib_uverbs_async_handler(context_ptr, event->element.xrc_qp_num,
448 ib_uverbs_async_handler(struct ib_uverbs_file *file, __u64 element, __u64 event, struct list_head *obj_list, u32 *counter) argument
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dordset.pl65 the element's position in the term order. The set can be repaired
170 summary:"Remainder is the set Set without the element Term",
173 Remainder is the set Set without the element Term. If Term is not
277 Succeeds when the two ordered sets have no element in common.
301 summary:"Adds an element to a set",
312 summary:"Adds an element to a set",
346 Succeeds when the two ordered sets have at least one element
476 Succeeds when every element of the ordered set Set1 appears
497 Succeeds when every element of the ordered set Set2 appears
512 Succeeds when every element o
[all...]
H A Dspell.pl248 % a) Change an element
249 % b) Add an element
270 % Change an element
271 % Add an element
272 % Remove an element
H A Dfd.pl137 :- export macro(element/5, tr_fd_out/2, [write, goal]).
183 element/3,
283 tr_fd_out(element(A, B, C, _, _), element(A, L, C)) :-
364 % element(Index, List, Value)
367 element(Index, List, Value) :-
379 fderror(5, element(Index, List, Value))
392 element(Index, LD, Value, StartSize, StartSize).
393 element(Index, List, Value) :-
394 error(4, element(Inde
[all...]
H A Dlips.pl65 and the standard benchmark is to call nreverse/2 with a 30-element
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextconjunto.tex81 a set variable {\em S} where each element of {\em WD} is of the
175 The element {\em E} is an element of {\em S}. If {\em E} is ground it
184 The element {\em E} does not belong to {\em S}. If {\em E} is ground
287 \verb/renault/ is element of \verb/Choice/ and \verb/peugeot/ might be
381 labeling procedure refines a set domain by selecting the element of
410 contains at most one element. With a finite domain approach, the list of
481 labeled. This constraint states that two sets have at most one element
487 of the set is ground and some element has been added to the second
524 procedure backtracks and removes the last element adde
[all...]
H A Dextfd.tex153 is not accepted as a compound domain element.
195 \item[] \biptxtref{element(?Index, +List, ?Value)}{fd:element/3}{../bips/lib/fd/element-3.html}\ \\
196 \index{element/3}
197 The {\it Index}'th element of the ground list {\it List}
215 an element of its domain; on backtracking the subsequent values are taken.
587 in the domain will be expanded into element lists which causes
1072 %The domain {\it DomRem} is equal to {\it Dom} with the element
1074 %If {\it Dom} does not contain this element, {\i
[all...]
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dyoyo1.pl61 % shift(L1,L2) : first element of L1 will be the last one of L2
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/
H A DAbstractViewletType.java81 Element element);
87 * occurences of the term "element(Index)" with the associated
88 * viewable element or changeable value.
97 viewableName, new CompoundTermImpl("element",elementReference), viewletGoal)));
101 viewableName, new CompoundTermImpl("element",elementReference), viewletGoal,new Atom(changeableSolver))));
172 "Change whether control is held by the visualisation client during element updates");
79 customizeElement(ViewletDataStore store, java.util.List index, Element element) argument
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mthca/
H A Dmthca_catas.c95 event.element.port_num = 0;
H A Dmthca_mad.c126 event.element.port_num = port_num;
142 event.element.port_num = port_num;
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dexpr.pl73 display_expression(element(A, B, C, _, _)) :-
75 qg_display_value(element(A, B, C), fd).
/barrelfish-master/doc/014-bulk-transfer/
H A Dbulk-transfer.tex289 \item \textbf{data-element:} The data-element is what generator
291 data-element.
294 interested consumers, reclaiming the memory when data-element
304 \item \textbf{Slot:} The contiguous piece of memory where data-element is
305 entirely or partially stored. A data-element can span over
332 particular data-element. In network stack parlance, this
503 element in the consumer-queue. This element should be of size
504 cache-line to avoid any cache-conflicts. This element ca
[all...]
/barrelfish-master/lib/openssl-1.0.0d/demos/engines/rsaref/
H A Dbuild.com27 $ files_e = f$edit(f$element(files_i,",",files),"trim")
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_comments.pl111 the solution. Thus, b is definitely an element of S, while a and d are the only
227 then each element of Poss comes annotated with its respective length."),
254 then each element of Poss comes annotated with its respective length."),
281 then each element of Poss comes annotated with its respective length."),
308 then each element of Poss comes annotated with its respective length.
362 then each element of Poss comes annotated with its respective length."),
387 desc: html("Max is the maximum (i.e. the highest element) of SetVariable.<P>
416 desc: html("Min is the minimum (i.e. the lowest element) of SetVariable.<P>
621 desc: html("Pick the first element of SetVar's poss (lub\\glb) and try to include it
627 and exclusion of the first element o
[all...]
H A Dproject.pl4 % Purpose: Select Kth argument of each element of a list
H A Dtrees.pl53 % If Index < 1 or > N it simply fails, there is no such element.
75 % where get_label(K, Tree, Lab) <=> Lab is the Kth element of List.
H A Dxml_pp.pl41 xml_pp_indented( element(Tag,Attributes,Contents), Indent ) :-
H A Dapplic.pl153 % Each element of NewList is the image under Rewrite of some
154 % element of OldList, and order is preserved, but elements of
H A Dcardinal_union.pl163 % attached (in the form Elem:N), representing the number of times each element has been
217 % attached (in the form Elem:N), representing the number of times each element has been
291 % element of GlbUVar. It is there so that in the end of last clause (when we know
411 NS1 is NS-1, %Try with one less set element (itself a set)
412 ucp(Lengths, NU, NS1, Lengths1, MinLength), %MinLength is a minimum length of the smallest possible set element
468 % possible set element would have to have to reach NeccessaryCard of union, and in
522 % single element already in UnionVar's Glb. Trigered by the union's Glb change.
/barrelfish-master/usr/skb/octopus/
H A Dpredicates.c265 uint64_t hash_key = fnv_64a_str(sentry->element, FNV1A_64_INIT);
267 OCT_DEBUG("p_index_union insert: %s\n", sentry->element);
268 collections_hash_insert(union_ht, hash_key, sentry->element);
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dpropia.pl86 implementing the element/3 constraint is loaded (fd, ic_global).
192 % are those of the element constraint, which can't be overridden
449 % represent the tuple in each element constraint
458 % This is a minor efficiency enhancement to element to take account
466 call(element(I,List,Arg))@Module.
540 ( is_predicate(element/3)@Module ->
543 printf(error, "'infers ac' requires a visible predicate element/3%n", []),
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Ddomain.pl27 % 920409 element/3 added
33 % 940304 element/3 constraint loop due to finite domains with repeated
39 % X::Dom - X must be element of the finite or infinite domain Dom
50 % element/3, atmost/3, alldistinct/1, circuit/1 and mult/3
51 % It also includes paired (!) domains (see element constraint)
296 element(I,VL,V):- length(VL,N),interval(1,N,IL),gen_pair(IL,VL,BL), I-V::BL.
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dec2il.cc256 element(EC_word C) // element(Index, List, Value) function
421 if (strcmp(f.name(), "element") == 0) { // ELEMENT constraint
422 return element(c);
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsarrays.tex392 The value of an element of the array is set using the
395 \bipref{setval/2}{../bips/kernel/storage/setval-2.html} specifies the element
405 of element (3, 2) of array \about{matrix} to the atom \about{plato}.
409 \bipref{getval/2}{../bips/kernel/storage/getval-2.html} specifies the element to
411 referenced, the second is unified with the value of that element.
425 time and space efficiency of array element manipulation.
438 When a typed array is created, the value of each element is initialized to zero
441 Whenever a typed array element is set, type checking is carried out.

Completed in 231 milliseconds

123456