/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
H A D | uverbs_main.c | 449 __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 D | ordset.pl | 65 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 D | spell.pl | 248 % a) Change an element 249 % b) Add an element 270 % Change an element 271 % Add an element 272 % Remove an element
|
H A D | fd.pl | 137 :- 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 D | lips.pl | 65 and the standard benchmark is to call nreverse/2 with a 30-element
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extconjunto.tex | 81 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 D | extfd.tex | 153 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 D | yoyo1.pl | 61 % 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 D | AbstractViewletType.java | 81 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 D | mthca_catas.c | 95 event.element.port_num = 0;
|
H A D | mthca_mad.c | 126 event.element.port_num = port_num; 142 event.element.port_num = port_num;
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | expr.pl | 73 display_expression(element(A, B, C, _, _)) :- 75 qg_display_value(element(A, B, C), fd).
|
/barrelfish-master/doc/014-bulk-transfer/ |
H A D | bulk-transfer.tex | 289 \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 D | build.com | 27 $ files_e = f$edit(f$element(files_i,",",files),"trim")
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_comments.pl | 111 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 D | project.pl | 4 % Purpose: Select Kth argument of each element of a list
|
H A D | trees.pl | 53 % 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 D | xml_pp.pl | 41 xml_pp_indented( element(Tag,Attributes,Contents), Indent ) :-
|
H A D | applic.pl | 153 % Each element of NewList is the image under Rewrite of some 154 % element of OldList, and order is preserved, but elements of
|
H A D | cardinal_union.pl | 163 % 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 D | predicates.c | 265 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 D | propia.pl | 86 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 D | domain.pl | 27 % 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 D | ec2il.cc | 256 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 D | umsarrays.tex | 392 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.
|