Searched refs:index (Results 126 - 150 of 341) sorted by relevance

1234567891011>>

/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/
H A DMakefile105 # replace the hard link index.html -> $(ROOTFILE).html by a soft link
112 cp index.html $(ROOTFILE)/$(ROOTFILE).html
113 ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
117 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.* index.html
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A DMakefile106 # replace the hard link index.html -> $(ROOTFILE).html by a soft link
113 cp index.html $(ROOTFILE)/$(ROOTFILE).html
114 ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
118 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.* index.html
H A Dextchr.tex44 \index{library!chr.pl|(}
49 \index{constraint handling rules} (\chrs)\index{CHR@{\sf CHR}},
151 get\_flag(installation\_directory,Dir)}\index{constraint solvers}.
161 \item minimum, maximum of and inequalities between terms ({\tt *minmax*})\index{minmax constraints},
162 \item terms ({\tt functor/3, arg/3, =..} as constraints) ({\tt *term*})\index{term constraints},
163 \item lists (similar to Prolog III) ({\tt *list*})\index{list constraints},
164 \item rational trees ({\tt *tree*})\index{tree constraints},
166 lazy conjunction and disjunction ({\tt *control*})\index{control!sound},
167 \item geometric reasoning about rectangles ({\tt *demo*})\index{geometri
[all...]
H A DMakefile.obs107 # replace the hard link index.html -> $(ROOTFILE).html by a soft link
114 cp index.html $(ROOTFILE)/$(ROOTFILE).html
115 ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dlamsg.c64 aport_id(bport_id,index)
66 unsigned index;
/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/
H A DTextViewletType.java109 java.util.List index,
111 Data data = (Data)(store.getViewletDataAt(index));
257 List index = (List)it.next();
258 Data data = (Data)(store.getViewletDataAt(index));
260 faded.add(index);
424 List index = (List)viewletsIterator.next();
425 currentViewlet = (Data)(store.getViewletDataAt(index));
427 store.setViewletDataAt(index, currentViewlet);
108 customizeElement(ViewletDataStore store, java.util.List index, Element element) argument
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsporting.tex33 \index{ISO Prolog}
68 (\bipref{iso_strict}{../bips/lib/iso_strict/index.html},
69 \bipref{iso}{../bips/lib/iso/index.html} and
70 \bipref{iso_light}{../bips/lib/iso_light/index.html}).
71 \item C-Prolog (\bipref{cprolog}{../bips/lib/cprolog/index.html}), one
73 \item Quintus Prolog (\bipref{quintus}{../bips/lib/quintus/index.html}),
75 \item SICStus Prolog (\bipref{sicstus}{../bips/lib/sicstus/index.html}),
77 \item SWI Prolog (\bipref{swi}{../bips/lib/swi/index.html}),
100 \index{ECLIPSEDEFAULTLANGUAGE}
105 \index{IS
[all...]
H A Dumsarith.tex33 \index{arithmetic}
37 \index{arithmetic!built-ins}\index{built-ins!arithmetic}
45 \index{comparison!arithmetic}\index{arithmetic!comparison}%
46 \index{arithmetic!built-ins!comparison}\index{built-ins!arithmetic!comparison}
83 \index{=\bsl=/2@\notation{=}\bsl\notation{=/2}}
107 \index{arithmetic!types}\index{type
[all...]
H A Dumsintro.tex67 \index{ECLiPSe@\eclipse}
68 \index{SEPIA@\sepia}
69 \index{MegaLog}
70 \index{CHIP}
92 (refer to the eclipse installation directory under doc/index.html).
99 %\index{metaterm}
115 %\index{variable names}
139 %\index{name completion}
161 %\index{occur check}
162 %\index{dept
[all...]
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/des/
H A Ddes_opts.c402 #define time_it(func,name,index) \
410 tm[index]=Time_F(STOP); \
411 fprintf(stderr,"%ld %s's in %.2f second\n",count,name,tm[index]); \
412 tm[index]=((double)COUNT(cb))/tm[index];
414 #define print_it(name,index) \
416 tm[index]*8,1.0e6/tm[index]);
/barrelfish-2018-10-04/usr/eclipseclp/Compiler/
H A DMakefile.in277 doc: doc/index.html
279 doc/index.html: $(PRIVATE_ECI)
285 pretty: pretty/index.html
287 pretty/index.html: $(COMPILER_MODULES)
289 "lib(pretty_printer),ensure_loaded(ecl_compiler),argv(all,[_|F]),pretty_print(F,[link_back:\"../doc/index.html\"])" \
/barrelfish-2018-10-04/include/lwip2/lwip/apps/
H A Dsnmp_table.h53 u32_t index; member in struct:snmp_table_col_def
99 u32_t index; member in struct:snmp_table_simple_col_def
/barrelfish-2018-10-04/lib/cxx/cxx/
H A Dios.cpp167 ios_base::iword(int index) argument
169 size_t req_size = static_cast<size_t>(index)+1;
192 return __iarray_[index];
196 ios_base::pword(int index) argument
198 size_t req_size = static_cast<size_t>(index)+1;
221 return __parray_[index];
227 ios_base::register_callback(event_callback fn, int index) argument
250 __index_[__event_size_] = index;
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/net/mlx4/
H A Dmr.c332 void __mlx4_mpt_release(struct mlx4_priv *priv, u32 index)
336 mlx4_bitmap_free(&priv->mr_table.mpt_bitmap, index, MLX4_NO_RR);
339 static void mlx4_mpt_release(struct mlx4_priv *priv, u32 index)
344 set_param_l(&in_param, index);
348 MLX4_DEBUG( "Failed to release mr index:%d\n",
349 index);
352 __mlx4_mpt_release(&priv->dev, index);
355 int __mlx4_mpt_alloc_icm(struct mlx4_dev *dev, u32 index) { argument
357 return mlx4_table_get(priv, &priv->mr_table.dmpt_table, index);
360 static int mlx4_mpt_alloc_icm(struct mlx4_dev *dev, u32 index) { argument
396 u32 index; local
[all...]
/barrelfish-2018-10-04/usr/ramfsd/
H A Dramfs.h29 errval_t ramfs_readdir(struct dirent *dir, uint32_t index, struct dirent **ret);
/barrelfish-2018-10-04/usr/skb/octopus/
H A Dbitfield.c57 static uint8_t compute_union(size_t index, struct bitfield** fields, size_t field_count) argument
59 //printf("compute union at index: %lu\n", index);
62 u |= fields[i]->field[index];
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/
H A Dalias_GUID.c86 /* The location of the specific index starts from bit number 4
105 static __be64 get_cached_alias_guid(struct mlx4_ib_dev *dev, int port, int index) argument
107 if (index >= NUM_ALIAS_GUID_PER_PORT) {
108 pr_err("%s: ERROR: asked for index:%d\n", __func__, index);
111 return *(__be64 *)&dev->sriov.demux[port - 1].guid_cache[index];
115 ib_sa_comp_mask mlx4_ib_get_aguid_comp_mask_from_ix(int index) argument
117 return IB_SA_COMP_MASK(4 + index);
126 * block_number - the index of the block (16 blocks available)
151 /* the location of the specific index run
312 invalidate_guid_record(struct mlx4_ib_dev *dev, u8 port, int index) argument
345 set_guid_rec(struct ib_device *ibdev, u8 port, int index, struct mlx4_sriov_alias_guid_info_rec_det *rec_det) argument
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dsolversintro.tex42 \index{suspend}
55 \index{ic}
94 \index{ic_global}
109 \index{cumulative}
110 \index{edge_finder}
127 \index{ic_sets}
145 \index{eplex}
160 \index{ic_symbolic}
172 \index{propia}
184 \index{ec
[all...]
H A Dicintro.tex122 \index{::/2@\texttt{::/2}!ic}
134 \index{\$::/2@\texttt{\$::/2}!ic}
139 \index{\#::/2@\texttt{\#::/2}!ic}
143 \index{reals/1@\texttt{reals/1}!ic}
148 \index{integers/1@\texttt{integers/1}!ic}
190 \index{\#::/2@\texttt{\#::/2}!ic} the type
195 \index{\#::/2@\texttt{\#::/2}!ic}
196 and \biptxtrefni{reals/1}{reals/1!ic}{../bips/lib/ic/reals-1.html}\index{\#::/2@\texttt{\#::/2}!ic}
226 \index{\#=/2@\texttt{\#=/2}!ic}
231 \index{\#>
[all...]
H A DMakefile157 # replace the hard link index.html -> $(ROOTFILE).html by a soft link
161 rm -f $(ROOTFILE)/index.html
165 cp index.html $(ROOTFILE)/$(ROOTFILE).html
166 ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
170 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.* index.html
/barrelfish-2018-10-04/lib/libc/db/btree/
H A Dbt_utils.c70 bl = GETBLEAF(e->page, e->index);
160 if (e->index == 0 && h->prevpg == P_INVALID && !(h->flags & P_BLEAF))
165 bl = GETBLEAF(h, e->index);
173 bi = GETBINTERNAL(h, e->index);
/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewletType.java53 java.util.List index,
52 customizeElement(ViewletDataStore store, java.util.List index, Element element) argument
/barrelfish-2018-10-04/include/openssl/
H A Dtxt_db.h87 LHASH_OF(OPENSSL_STRING) **index; member in struct:txt_db_st
/barrelfish-2018-10-04/include/virtio/
H A Dvirtio_host.h27 errval_t (*notify)(struct virtio_device *vq, uint16_t index);
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/txt_db/
H A Dtxt_db.h87 LHASH_OF(OPENSSL_STRING) **index; member in struct:txt_db_st

Completed in 122 milliseconds

1234567891011>>