/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/ |
H A D | Makefile | 105 # 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 D | Makefile | 106 # 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 D | extchr.tex | 44 \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 D | Makefile.obs | 107 # 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 D | lamsg.c | 64 aport_id(bport_id,index) 66 unsigned index;
|
/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/ |
H A D | TextViewletType.java | 109 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 D | umsporting.tex | 33 \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 D | umsarith.tex | 33 \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 D | umsintro.tex | 67 \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 D | des_opts.c | 402 #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 D | Makefile.in | 277 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 D | snmp_table.h | 53 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 D | ios.cpp | 167 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 D | mr.c | 332 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 D | ramfs.h | 29 errval_t ramfs_readdir(struct dirent *dir, uint32_t index, struct dirent **ret);
|
/barrelfish-2018-10-04/usr/skb/octopus/ |
H A D | bitfield.c | 57 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 D | alias_GUID.c | 86 /* 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 D | solversintro.tex | 42 \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 D | icintro.tex | 122 \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 D | Makefile | 157 # 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 D | bt_utils.c | 70 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 D | ViewletType.java | 53 java.util.List index, 52 customizeElement(ViewletDataStore store, java.util.List index, Element element) argument
|
/barrelfish-2018-10-04/include/openssl/ |
H A D | txt_db.h | 87 LHASH_OF(OPENSSL_STRING) **index; member in struct:txt_db_st
|
/barrelfish-2018-10-04/include/virtio/ |
H A D | virtio_host.h | 27 errval_t (*notify)(struct virtio_device *vq, uint16_t index);
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/txt_db/ |
H A D | txt_db.h | 87 LHASH_OF(OPENSSL_STRING) **index; member in struct:txt_db_st
|