Searched refs:shorthand (Results 1 - 12 of 12) sorted by relevance
| /barrelfish-master/lib/barrelfish/ |
| H A D | sys_debug.c | 83 errval_t sys_debug_send_ipi(uint8_t destination, uint8_t shorthand, uint8_t vector) argument
86 DEBUG_SEND_IPI, destination, shorthand, vector).error;
|
| /barrelfish-master/include/barrelfish/ |
| H A D | sys_debug.h | 43 errval_t sys_debug_send_ipi(uint8_t destination, uint8_t shorthand, uint8_t vector);
|
| /barrelfish-master/usr/eclipseclp/Kernel/lib/ |
| H A D | define.pl | 65 * It is a shorthand for define(MacroName, EvalTerm, EvalTerm is Term).
|
| H A D | kernel.pl | 6933 % any shorthand integer specifiers into corresponding lists of the
|
| /barrelfish-master/usr/eclipseclp/documents/tutorial/ |
| H A D | umsterm.tex | 149 is shorthand for:
|
| H A D | propiachr.tex | 714 \verb0p(a,f(Y),Y) <=> q(Y)0 is really a shorthand for the guarded
|
| /barrelfish-master/usr/eclipseclp/documents/userman/ |
| H A D | umsterm.tex | 239 is shorthand for:
404 as a shorthand for \pattern{Pred/N1, Pred/N2}.
|
| H A D | umscompiler.tex | 82 This predicate can be used as a shorthand for the
694 This predicate can be used as a shorthand for the \predspec{compile} predicate,
|
| H A D | extmeta.tex | 93 The expression \notation{Var\{Attr\}} is a shorthand for
|
| /barrelfish-master/usr/eclipseclp/Contrib/ |
| H A D | xml_utilities.pl | 159 * If String contains only 7-bit chars it is printed in shorthand quoted
|
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
| H A D | domain.pl | 120 % CHIP list shorthand for domain variables
|
| /barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
| H A D | eclipse.tex | 741 The variable {\em PocketCoins} is just a shorthand for the list of six
|
Completed in 125 milliseconds