/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | distfix.pl | 38 atom following each variable should NOT be an infix or postfix 340 cant_follow_expr(var(_,_), variable).
|
H A D | read.pl | 294 cant_follow_expr(var(_,_), variable).
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | atts.pl | 313 :- pragma(nodebug). % to zap variable names, otherwise we get singleton
|
H A D | db.pl | 308 - length is legal integer or variable 309 - key is '+', '-' or variable
|
H A D | io.pl | 1016 :- local variable(rpeer_count, 0). 1017 :- local variable(in_ec_waitio, []). 1044 copy_term(Host,OrigHost), % OrigHost can be a variable 1139 printf(warning_output, "Warning: result argument %w for initial goal not a variable in remote_control_accept/5. Initial Goal not executed.", [Res]) 1701 :- local variable(peer_mt_status).
|
H A D | apply_macros.pl | 577 ; % simple term or variable
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | domain.pl | 186 % intersection of domains for the same variable 211 % intersection of domains for the same variable
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | dbi.tex | 125 it is also possible for the user to set an environment variable (usually 244 Prolog terms, strings and atoms can have variable sizes, but when they are 250 In the case of variable sized fields and of placeholders, a default size
|
H A D | embjava.tex | 121 %be loaded dynamically. For this to occur, an environment variable 127 %environment variable must include the path: 133 %\item On Windows operating systems, the {\tt PATH} environment variable must contain the path: 291 {\tt variable} & {\it null} \\ 510 with their instantiations. Hence even if the variable was named in the 516 If a variable in the {\tt rpc} goal becomes instantiated to an {\eclipse} 522 can be deconstructed to extract the variable substitutions. 561 variable. Using {\it CompoundTerm} you cannot represent a goal with 562 multiple occurrences of a single variable. So, for example the 1415 If left as a free variable, th [all...] |
H A D | embtcl.tex | 74 % variable, e.g.\ 601 interface) it is not possible to retrieve any variable 659 This identifier can either be stored in a variable or reconstructed
|
H A D | embremote.tex | 121 % environment variable must include the path: 127 % \item On Windows NT, the {\tt PATH} environment variable must contain the path: 982 tkwait variable tkecl(tracercommand) 1000 variable \verb'tkecl(tracercommand)' is set to the corresponding command, 1103 :- local variable(remote_control).
|
H A D | embtclmulti.tex | 296 disabling the buttons. The return code is stored in a global variable {\tt
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umscompiler.tex | 441 Declare a variable attribute. 822 \notation{+} & the argument is instantiated, i.e., it is not a variable;\\ 824 \notation{-} & the argument is not instantiated, it must be a free variable 826 other argument and it cannot be a suspending variable;\\ 950 %it off, unless variable names have to be kept.
|
H A D | umsporting.tex | 101 environment variable to the name of the chosen dialect.
|
H A D | umstkeclipse.tex | 57 attributed variable.\footnote{% 58 The display matrix tool is similar to the variable display of
|
/barrelfish-master/lib/tommath/ |
H A D | bn.tex | 691 This will assign the value of the 32-bit variable $b$ to the mp\_int $a$. Unlike mp\_set() this function will always 1060 function simply copies $a$ over to ``c'' and zeroes $d$. The variable $d$ may be passed as a \textbf{NULL} 1488 normalizing the inputs the reduced results are always of the form $aR$ for some variable $a$. This allows 1561 This computes $Y \equiv G^X \mbox{ (mod }P\mbox{)}$ using a variable width sliding window algorithm. This function 1665 Which is a function that must read $len$ bytes (and return the amount stored) into $dst$. The $dat$ variable is simply 1680 This will generate a prime in $a$ using $t$ tests of the primality testing algorithms. The variable $size$ 1681 specifies the bit length of the prime desired. The variable $flags$ specifies one of several options available
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | facts.pl | 84 % translation of attributes to variable names
|
/barrelfish-master/doc/026-device-queues/ |
H A D | devif.tex | 114 A buffer is a variable sized piece of memory within a previously to the \devif interface 117 If we manage the variable sized buffers, we would have to implement a dynamic memory 860 the memory from which we want to carve out our variable sized buffers. At this stage, the datapath 866 // Enqueue buffers (2KB size for now, but can be variable size)
|
/barrelfish-master/usr/skb/programs/ |
H A D | bridge_postorder_sorted.pl | 14 % the bridges Sz variable contains therefore the size of the biggest requesting
|
H A D | bridge_postorder_sorted_sum.pl | 14 % the bridges Sz variable contains therefore the sum of the requesting sizes of
|
H A D | bridge_postorder_sorted_sum_ascending.pl | 14 % the bridges Sz variable contains therefore the sum of the requesting sizes of
|
H A D | bridge_postorder_sorted_ascending.pl | 14 % the bridges Sz variable contains therefore the size of the biggest requesting
|
H A D | globalthreadalloc.pl | 246 % instantiate a variable
|
/barrelfish-master/lib/pcre/ |
H A D | pcre_internal.h | 135 does not want to have "extern" before variable definitions because it leads to 1145 /* This variable is used to detect a loaded regular expression 2237 0, /* XCLASS - variable length */ \ 2452 int req_varyopt; /* "After variable item" flag for reqbyte */
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | options.pl | 400 % Options that require some other action than just setting a variable
|