Searched refs:element (Results 76 - 100 of 149) sorted by relevance

123456

/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dobsman.tex258 is not accepted as a compound domain element.
300 \item[] \biptxtref{element(?Index, +List, ?Value)}{fd:element/3}{../bips/lib/fd/element-3.html}\ \\
301 \index{element/3}
302 The {\it Index}'th element of the ground list {\it List}
320 an element of its domain; on backtracking the subsequent values are taken.
692 in the domain will be expanded into element lists which causes
1178 %The domain {\it DomRem} is equal to {\it Dom} with the element
1180 %If {\it Dom} does not contain this element, {\i
[all...]
H A Dgfd.tex241 array element using array notion (e.g. \verb|Array[1]|).
251 at 1 for the first element. Array notation can again be used to supply a
276 element representing the column elements in that row. In array notation,
441 \item[\texttt{element(ExprIdx, Col)}]
442 Element constraint, Evaluate to the ExprIdx'th element of Col.
520 \item[\texttt{element(ExprIdx, BoolCol)}]
521 Element constraint, Evaluate to the ExprIdx'th element of BoolCol.
612 Constrains each element of Collection to be equal to Y. Similar constraints
645 Constrains Member to be the a member element in Vars. The
716 Constrains the values of each element plu
[all...]
H A Dfdsets.tex197 According to the array of element weights, the weight of set Set1 is Weight
243 any two triplets have at most one element in common.
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dfd_chip.pl191 % find the List element with the smallest lower bound
H A Dheaps.pl45 taking out the minimum element. If there are N elements total, the
70 positions in the M-element tree are currently unoccupied. This free
132 The easy part is picking off the smallest element. The hard part
H A Dlinearize.pl408 % In a normalised monomial, the list is sorted, the first element is
414 % for a certain degree, the list element is missing:
448 In a <EM>normalised monomial</EM>, the list is sorted, the first element is
454 for a certain degree, the list element is missing:
H A Dasm.pl93 % The first element should be the smallest argument number
96 % representing the name of the variable to be initialised. First element
140 each element representing one WAM instruction. The format of the WAMCode
166 in the form of a list, with each element representing one WAM
195 form). The WAM code is in the form of a list, with each element
235 element representing one WAM instruction. The format of the WAMCode is
926 % maps every element of CodeList into memory. CodeList is a session
928 % element generally maps onto one memory word, except for switch
1500 Starts: current tail of the start list, where each element represents
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsetsolver.tex41 where symmetries among the element values need to be avoided.
295 such that any two triplets have at most one element in common.
340 The constraint takes a set and an array of element weights and
384 According to the array of element weights, the weight of set Set1 is Weight
H A Dfdintro.tex160 \subsection{Using the {\em element} Constraint}
169 element(I, [yellow, yellow, blue, red, green, orange], A),
170 element(I, [blue, red, yellow, yellow, orange, green], B).
223 \item[element(?Index, +List, ?Value)]\ \\
224 \index{element/3}
225 The {\it Index}'th element of the ground list {\it List}
H A Dicintro.tex749 \subsection{Using the {\em element} Constraint}
752 that states in a list of integers that the element at
759 element(I, Xs, X),
760 element(I, Ys, Y).
794 element of its domain; on backtracking the subsequent value is taken.
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dconjunto.pl196 summary:"Var is an element of type e(Val,Weight) from a weighted domain. Wvar is a
207 args:["+Var" : "A weighted element.", "?Wvar" : "Term unifying with an integer."],
338 attached to an element is Var.
342 desc:html(" If Svar is a weighted set domain variable, it returns the element of its
345 Svar is a ground set, it just returns the element with the geratest
352 fail_if:" Fails if Svar is not a weighted set term, or if Var can not be unified\n with the extracted element.\n\n",
423 It backtracks on the element taken. If Svar is a ground set, nothing
/barrelfish-master/usr/eclipseclp/documents/applications/
H A Dtutorial.tex521 Multi-dimensional arrays \index{array}are simple nested vectors, they are created with the {\it dim} \index{dim}predicate for a given dimension and size. Access to an element is with the {\it subscript}\index{subscript} predicate (see section \ref{iterationonarray} for an example).
671 \index{iteration, list}\index{list}This concept is used to perform some action on each element of a list. There are two implementations given here. The first uses the {\it do}\index{do loop}\index{loop} loop of ECLiPSe, the second uses recursion\index{recursion} to achieve the same purpose. In the {\it do} loop, the {\it foreach}\index{foreach} keyword describes an action for each element of a list. The first argument (here $X$) is a formal parameter\index{formal parameter} of the loop. At each iteration, it will be bound to one element of the list. The second argument is the list over which we iterate.
786 \index{iteration, array}The next concept is iteration on an array \index{array}structure. We often want to perform some action on each element of a two-dimensional array.
788 Again, we present two implementations. The first uses nested {\it foreacharg}\index{foreacharg, nested} {\it do} loops to perform some operation $q$ on each element of an array. The second uses nested {\it for}\index{for}\index{loop} loops to iterate over all index combinations $I$ and $J$. This second variant is more complex, and should be used only if we require the index values $I$ and $J$ as well as the matrix element $X$.
841 This next concept is used to perform some transformation\index{transformation} on each element of a list and to create a list of the transformed elements. At the end, both lists will have the same length, and the elements match, i.e. the first element of the second list is the transformed first element o
[all...]
/barrelfish-master/usr/eclipseclp/documents/visualisation/
H A Dannotate.tex159 element types:
399 \emph{element type} field of the third argument says that the values
409 This \emph{changeable} element type can appear in any form of the
H A Dclients.tex119 The Java VC provides many ways of visualising any single element of a
123 \item Textually, as though the element had been printed with
127 of a \emph{numeric_bounds} type \viewable{} element. Bounds
323 update event is issued for the corresponding \viewable{} element. The
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dxml_acquisition.pl132 Term = element(Tag, Attributes, Contents),
136 element(Tag, Attributes, Contents)
146 context_update( element, Context0, Tag, Context1 ),
H A Dxml_utilities.pl83 context_update( element, Context0, Tag, Context1 ) :-
324 "isin"-[8712], % element of, U+2208 ISOtech
357 "notin"-[8713], % not an element of, U+2209 ISOtech
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/
H A Dcq.c71 event.element.cq = ibcq;
H A Dsrq.c53 event.element.srq = ibsrq;
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dbasic.pl99 % head of a list is the list without its last element
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/
H A Dmulticast.c748 if (rdma_port_get_link_layer(dev->device, event->element.port_num) !=
752 index = event->element.port_num - dev->start_port;
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dfrequency.pl183 % Ys_Zs is the list Ys_X_Zs without X (the first element of X_Zs)
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsterm.tex67 %An array element is selected with a similar term.
180 %element (a ground compound term with as much arguments (integers) as
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mthca/
H A Dmthca_srq.c463 event.element.srq = &srq->ibsrq;
/barrelfish-master/lib/devif/backends/net/mlx4/include/infiniband/
H A Dverbs.h226 } element; member in struct:ibv_async_event
/barrelfish-master/lib/devif/backends/net/mlx4/include/rdma/
H A Dib_user_verbs.h111 __u64 element; member in struct:ib_uverbs_async_event_desc

Completed in 275 milliseconds

123456