Searched refs:element (Results 101 - 125 of 149) sorted by relevance

123456

/barrelfish-master/usr/eclipseclp/ecrc_solvers/propia/
H A Dcrossword.pl24 :- import element/3 from ic_symbolic.
/barrelfish-master/usr/skb/programs/
H A Ddecoding_net4.pl259 % C2: One element lists are coalesced
381 % an unaligned padding), make the split of the first block the first element.
H A Dglobalthreadalloc.pl481 % to the last allocation. Every element contains the task as well as the
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dfdglobal.tex121 elements indicating the position of each unsorted list element within
H A Dic.tex790 [\biptxtrefni{element(Index, List, Value)}{element/3!ic}{../bips/lib/ic/element-3.html}]
791 \index{element/3@\texttt{element/3}!ic}
792 Constrains Value to be the Index'th element of the list of integers List.
807 Instantiates an integer IC variable to an element of its domain.
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Deprolog.tex139 element.
149 much to increment each element of List by).
188 To access a specific element of an array in an expression, specify the index
189 list of the desired element, e.g.\
H A Dhybrid.tex546 Suppose each element $E$ of the list must
555 % each element must take a value between 1 and 2*(Length-1)
567 % each element must take a value between 1 and 2*(Length-1)
588 % each element must take a value between 1 and 2*(Length-1)
H A Dprolog.tex150 list element, and the tail is itself a list (possibly the empty list).
181 element(hydrogen, composition(1,0))
1076 \% check if Element is an element that occurs in a List of
H A Dsearch.tex99 \item[Randomness] some methods have a random element while others follow
1161 For each element E of the list, its successors are divided into two sets,
1175 For each K from 1..N, call the Kth element of the list Ek.
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dbags.pl35 bag(E, M, B) - extends the bag B with a new (NB!) element E
H A Dintervals.pl36 represented as a list, each element of which is one such interval.
H A Dcardinal_util.pl178 % Succeeds if each element of Glb is present in Glb1 or Poss1 (disjoint).
253 % ListFromNth is the suffix of List starting in the N'th element.
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/
H A Dsa_query.c580 &sa_dev->port[event->element.port_num - sa_dev->start_port];
591 schedule_work(&sa_dev->port[event->element.port_num -
H A Dnotice.c655 inform_groups_lost(&dev->port[event->element.port_num -
H A Dlocal_sa.c822 port = &dev->port[event->element.port_num - dev->start_port];
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dwrite.c284 #define Next_Element(element, list, Return) \
288 element = list++; \
290 Dereference_(element) \
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumslanguage.tex350 the element.
369 writing nested loops). Each element of \about{List} takes a value
386 much to increment each element of \about{List} by).
956 and extracts the indicated array element.
H A Dumsprofile.tex286 %the built-in \bipref{get_statistics/2}{../bips/kernel/obsolete/get_statistics-2.html}. It returns an 8-element-list of the
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mthca/
H A Dmthca_cq.c258 event.element.cq = &cq->ibcq;
H A Dmthca_eq.c254 record.element.port_num = port;
/barrelfish-master/lib/devif/backends/net/mlx4/include/rdma/
H A Dib_verbs.h400 } element; member in struct:ib_event
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dchr.pl254 % Goes to the tail (variable) of the list and add a new element.
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dmatrices.pl60 element(NewVar,Dom,Var).
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Drepair.pl100 mon, % set element with suspension of monitor_tenable goal
160 changeable(repair,Type) as its element type.
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembed.tex709 Below we see how we would write a function to find the nth element of
875 Prolog views the external object as a ground, atomic element.

Completed in 502 milliseconds

123456