/barrelfish-master/doc/014-bulk-transfer/ |
H A D | bulk-transfer.tex | 428 \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 D | extmeta.tex | 37 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 D | umsmodules.tex | 529 The most common case is where a predicate is a \Index{meta-predicate}, 535 Many Prolog systems call them \about{meta-predicates}.}
|
H A D | umscompiler.tex | 893 Note that meta-calls (e.g., via 1027 \bipref{meta/1}{../bips/kernel/typetest/meta-1.html},
|
H A D | exthsusp.tex | 240 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 D | modes.pl | 448 ( meta(X) -> 460 ( meta(Y) -> 481 ( meta(Y) -> 515 add_attribute(Y, Xp) % only here we _create_ meta terms!
|
H A D | forall.pl | 41 This is a meta-predicate for writing simple iterations without
|
H A D | db.pl | 91 ** Modules and meta calls : 93 ** This file defines no predicate that uses meta calls
|
H A D | fd_domain.pl | 404 compare_instances_free_attr(Res, AttrY). % Y must be meta! 406 compare_instances_const_attr(Res, X, AttrY). % Y must be meta!
|
H A D | tracer_tty.pl | 765 meta(CurrentTerm), Choice> 0, !, 898 print_current_summary(Stream, Term, _) :- meta(Term), !,
|
H A D | branch_and_bound.pl | 433 % (number(Cost) ; meta(Cost)) 447 cannot_impose_bound(X) :- meta(X),
|
H A D | quintus.pl | 92 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 D | metutl.pl | 5 % Purpose: meta-logical operations as described in my note
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | math-utilities.pl | 88 % globalize variables into meta variables so they can be sorted
|
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | types.h | 492 pword * mu; /* list of meta-unifications */ 905 meta, member in struct:__anon1659
|
H A D | code.c | 1230 make_test_bip(d_.meta, BI_Meta, 0, 0, -1, EXPORT);
|
H A D | dict.c | 1337 d_.meta0 = in_dict("meta", 0); 1371 d_.meta = in_dict("meta", 1);
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | tkint.pl | 40 meta(V),
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | set.pl | 217 meta(S), 229 (meta(WeiX);meta(WeiY)
|
H A D | r.pl | 245 meta(X), !, 282 meta(X).
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | io.tex | 205 \item for meta-cycles, i.e.\ cycles that occur because variable attributes
|
H A D | kernel.tex | 315 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 D | modelling.tex | 175 \item[Symbolic and meta-programming capability]
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | repair.tex | 351 %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 D | coreboot.tex | 253 \item Optional: Update meta-data in SKB to mark core as stopped.
|