Searched refs:meta (Results 51 - 75 of 96) sorted by relevance

1234

/barrelfish-master/doc/014-bulk-transfer/
H A Dbulk-transfer.tex428 \subsection{A meta-slot structure}
444 The producer maintains a separate meta-slot list for very shared-pool
462 \item List of shared-pool-meta-data. This meta-data includes
466 \item meta-slot structure containing private information about
551 slot-index maps into the meta-slot structure which is private to
554 to detect it as meta-slot structure maintains the information
742 meta-slot structure inside producer for given slot with one more consumer.
796 \item Create and initialize the empty list of shared-pools and meta-slots.
799 \item Divide the shared-pool into slots, create a meta
[all...]
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dextmeta.tex37 The name \about{metaterm} originates from its application in meta-programming:
39 a meta-program the same variable is just a piece of data which, possibly
40 together with additional meta-level information, forms the metaterm.
550 \item[meta(?\pattern{Term})]\indextt{meta/1}
H A Dumsmodules.tex529 The most common case is where a predicate is a \Index{meta-predicate},
535 Many Prolog systems call them \about{meta-predicates}.}
H A Dumscompiler.tex893 Note that meta-calls (e.g., via
1027 \bipref{meta/1}{../bips/kernel/typetest/meta-1.html},
H A Dexthsusp.tex240 Delay clauses are a declarative means (they are in fact meta-clauses)
299 is to avoid a possible mixing of meta-level control with the
1057 This predicate is meta-logical as its use may
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dmodes.pl448 ( meta(X) ->
460 ( meta(Y) ->
481 ( meta(Y) ->
515 add_attribute(Y, Xp) % only here we _create_ meta terms!
H A Dforall.pl41 This is a meta-predicate for writing simple iterations without
H A Ddb.pl91 ** Modules and meta calls :
93 ** This file defines no predicate that uses meta calls
H A Dfd_domain.pl404 compare_instances_free_attr(Res, AttrY). % Y must be meta!
406 compare_instances_const_attr(Res, X, AttrY). % Y must be meta!
H A Dtracer_tty.pl765 meta(CurrentTerm), Choice> 0, !,
898 print_current_summary(Stream, Term, _) :- meta(Term), !,
H A Dbranch_and_bound.pl433 % (number(Cost) ; meta(Cost))
447 cannot_impose_bound(X) :- meta(X),
H A Dquintus.pl92 in Quintus-style, as ECLiPSe\'s concept of meta predicates
93 differs substantially. The meta-predicates very likely have
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dmetutl.pl5 % Purpose: meta-logical operations as described in my note
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/
H A Dmath-utilities.pl88 % globalize variables into meta variables so they can be sorted
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dtypes.h492 pword * mu; /* list of meta-unifications */
905 meta, member in struct:__anon1659
H A Dcode.c1230 make_test_bip(d_.meta, BI_Meta, 0, 0, -1, EXPORT);
H A Ddict.c1337 d_.meta0 = in_dict("meta", 0);
1371 d_.meta = in_dict("meta", 1);
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dtkint.pl40 meta(V),
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dset.pl217 meta(S),
229 (meta(WeiX);meta(WeiY)
H A Dr.pl245 meta(X), !,
282 meta(X).
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dio.tex205 \item for meta-cycles, i.e.\ cycles that occur because variable attributes
H A Dkernel.tex315 functor meta/N, which holds the N attributes.
463 \item[MU] list of meta-unifications. A volatile register that passes a list
465 meta-unify event handler.
578 trigger a meta-unify\index{meta-unify} event at the next synchronous point
1550 attributes) via matching clauses, emphasising their meta-level aspect.
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dmodelling.tex175 \item[Symbolic and meta-programming capability]
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Drepair.tex351 %this lets \eclipse compile the constraint, rather than meta-calling it.
381 This is a completely general meta-predicate to support computations
/barrelfish-master/doc/023-coreboot/
H A Dcoreboot.tex253 \item Optional: Update meta-data in SKB to mark core as stopped.

Completed in 682 milliseconds

1234