Searched refs:term (Results 176 - 186 of 186) sorted by relevance
12345678
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | icintro.tex | 797 If {\it DVar} is a ground term, it succeeds.
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsexcept.tex | 866 %of the block cannot be a compound term.
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 198 chrcompile(Error, Culprit, Module) :- Culprit = (term,_,_), !, 2263 % inherited by any variables in the compound term.
|
/barrelfish-master/usr/eclipseclp/GecodeInterface/ |
H A D | gfd.cpp | 1015 l = list(term(dotdot, EC_word(min), EC_word(max)), tail = ec_newvar()); 5390 EC_word stats = term(sf, (long)nprop, (long)nfail, (long)nnode,
|
/barrelfish-master/doc/011-idc/ |
H A D | IDC.tex | 724 term ``channel'' is now something of a misnomer in this context, as events are
|
/barrelfish-master/doc/026-device-queues/ |
H A D | devif.tex | 150 but the give additional information to the semantics. We use the term
|
/barrelfish-master/doc/000-overview/ |
H A D | Overview.tex | 77 activations~\cite{Anderson:1991:SAE:121132.121151} (the term is
|
/barrelfish-master/doc/022-armv8/ |
H A D | report.tex | 174 new boot and configuration subsystem, but should pay off in the long term, as
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | asm.pl | 57 % A single instruction is a term whose functor specifies the instruction
|
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 924 $Term_1 + Term_2 + \ldots + Term_n$, where each term can, in turn, be
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | domain.pl | 8 :- setval(domain, term).
|
Completed in 193 milliseconds
12345678