/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | backwards-sec.tex | 77 The difference in argument order is handled by the compatibility module.
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | s_lists.pl | 175 according to the argument value */
|
/barrelfish-2018-10-04/tools/fof/ |
H A D | FutureWork.tex | 30 without an in-theorem-prover semantics, the dependability argument is just
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | globalstate.tex | 167 argument when the block gets freed. This implies some bookkeeping overhead. 288 with the descriptor argument \&private_heap.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | eprolog.tex | 69 syntax or referring to argument positions numerically. 129 same as before, but Idx is set to the argument position of X in 425 an explicit stream argument, e.g.\ \bipref{read/1}{../bips/kernel/ioterm/read-1.html} 428 an explicit stream argument, e.g.\ \bipref{write/1}{../bips/kernel/ioterm/write-1.html} 638 The arg/3 predicate extracts an argument from a structure: 816 goal, if {\tt BTag} occurs as an argument of {\tt Recovery}. 819 {\tt BTag} argument unifies with {\tt ETag}. 956 The handler's first argument is the event identifier, in this case the
|
H A D | eplex.tex | 284 function given as the argument, enclosed by either \verb'min(...)' or \verb'max(...)'. In this case, we are minimising. 339 value for a problem variable. The second argument, set to \verb'typed_solution', 342 with the third argument: 491 Remember that as \verb'eplex_solve/1' instantiates its argument, we 601 solver. The \verb'Trigs' argument specifies a list of `trigger 696 trigger condition, the other argument of interest in our use of 697 \verb'eplex_solver_setup/4' is the second argument,
|
H A D | icintro.tex | 448 All the basic relational constraint predicates also come in a three-argument 449 form where the third argument is the reified truth value, and this form can 483 argument where this final argument is the reified truth value reflected 776 passing a list containing the product identifiers in the first argument 778 from the second argument of \verb0colocate/20 as {\it Ys}.
|
H A D | prolog.tex | 172 {\em arguments}. Each argument is itself a term. Moreover, a 198 As a syntactic convenience, unary (1-argument) structures can also be written 199 in prefix or postfix notation, and binary (2-argument) structures can be 794 %The partially reversed list is being constructed in the second argument of 1063 the list given as a second argument. However, if either of the arguments are 1083 predicate. The convention used is that `+' indicates that an argument should 1084 be instantiated (i.e. not a variable), `-' for an argument that should be 1086 on the mode of the argument.
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bn/asm/ |
H A D | armv4-mont.pl | 26 $num="r0"; # starts as num argument, but holds &tp[num-1] 43 #### argument block layout relative to &tp[num-1], a.k.a. $num 59 stmdb sp!,{r0,r2} @ sp points at argument block
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | extsuspend.tex | 88 However, if its argument is ground, it will still produce 194 its third argument. 252 and delay, which is done using its third argument. 337 argument is a free variable. 541 The argument \about{No} of \predspec{dif3/4} becomes instantiated to 596 (e.g., imposing equality on all matched argument pairs when the
|
H A D | umsmodules.tex | 530 i.e., a predicate that has another goal or predicate name as an argument. 538 automatically add a \defnotion{caller module} argument whenever such a tool 591 the additional argument is the module in which the call occurs: 686 & Caller module argument added to \predspec{twice/1} \\ 741 argument is added. 774 Note that the third argument (here \notation{iso}) simply
|
H A D | umsio.tex | 54 Used by the input predicates that do not have an explicit stream argument, 58 Used by the output predicates that do not have an explicit stream argument, 147 have a stream argument at the first position, 148 e.g., \notation{write(Stream, Term)}. This argument can be either a 279 If the stream argument is an atomic name, this name becomes an alias 307 and pass the resulting handle as an argument wherever it is needed. 530 The \about{SepChar} argument allows the specification of padding 818 can take it as argument and perform I/O on it. 1040 argument is an atom or a string, just this 1041 argument i [all...] |
H A D | exthsusp.tex | 330 A predicate that checks if its argument is a proper list of integers. 353 Delay if the argument is a structure whose first subterm is not ground: 361 Delay if the argument term contains 2 or more variables: 479 Here, when the predicate is called with an uninstantiated argument, 606 a single variable argument is left, and then compute the variable from 607 the nonvariable argument: 1121 \about{Module} argument respectively. 1127 Finally, the \about{Index}'th argument of the attribute 1151 Initializes argument \about{Position} of \about{Attribute} to an empty 1154 Appends the first of two suspension lists (argument [all...] |
H A D | umslanguage.tex | 82 The argument index of a field in a structure can be obtained 90 For example, to access (i.e., unify) a single argument of a structure 324 same as before, but \about{Idx} is set to the argument position of \about{X} 952 a result argument is added and the built-in predicate 970 The main argument against strings is that everything that can be done 1187 it is not unified with the call argument (which would trigger 1188 the unification handlers) but instead, the call argument 1207 If some argument positions of a matching clause are declared 1220 but in this case it must not be called with its second argument
|
H A D | umsarrays.tex | 38 \item information can be accessed by \emph{naming} rather than by argument 394 predicate. The first argument of 408 predicate. The first argument of 432 The second argument specifies the type of the elements of the array. 511 share without having to pass an argument pair through all the
|
H A D | umssyntax.tex | 50 \item a \notation{term_a} is a term which is an argument of a compound term or 491 represents an argument whose precedence must be lower than that of the 492 operator. \notation{y} represents an argument whose precedence must be lower or 535 simply the left hand side argument of the following infix or postfix. 590 as argument separators rather than operators inside the term.
|
H A D | umstkeclipse.tex | 117 window is specified by the second argument of 149 {\tkeclipse}. The two argument form is a simplification of the five argument 170 \about{Type} is a dummy argument), \about{CondList} is
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | foreign.pl | 91 I - the argument position; used to make distinction 97 Call - the actual argument passed to the foreign function 100 Unif - unification of the output argument
|
H A D | ordset.pl | 37 % argument sizes rather than their Product. Some of the unordered 58 the argument sizes rather than their Product. Some of the 69 When called with the wrong argument types or modes, the result is
|
H A D | test_util.pl | 109 Here the extra last argument serves as a name for the test (or a short 120 The first value is the name of the test (last argument in test pattern).
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/ |
H A D | puzzle_bool.pl | 118 % argument must be 1, the rest must be 0
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | dbi.tex | 158 The argument positions correspond to the order of the placeholder in the 194 one of the argument positions this stands for a general term, to 254 specify a size. This is done by mentioning the size in the argument of 265 in external database format. Any structure whose first argument is an integer
|
H A D | embfunc.tex | 40 returns the i'th argument of the predicate call.
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/Netware/ |
H A D | build.bat | 86 rem If we didn't recognize the argument, consider it an option for config
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | assoc.pl | 43 % Note that SEPIA will properly index on the last argument:
|