Searched refs:argument (Results 51 - 75 of 155) sorted by relevance

1234567

/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/
H A Dbackwards-sec.tex77 The difference in argument order is handled by the compatibility module.
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/
H A Ds_lists.pl175 according to the argument value */
/barrelfish-2018-10-04/tools/fof/
H A DFutureWork.tex30 without an in-theorem-prover semantics, the dependability argument is just
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex167 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 Deprolog.tex69 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 Deplex.tex284 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 Dicintro.tex448 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 Dprolog.tex172 {\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 Darmv4-mont.pl26 $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 Dextsuspend.tex88 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 Dumsmodules.tex530 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 Dumsio.tex54 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 Dexthsusp.tex330 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 Dumslanguage.tex82 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 Dumsarrays.tex38 \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 Dumssyntax.tex50 \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 Dumstkeclipse.tex117 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 Dforeign.pl91 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 Dordset.pl37 % 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 Dtest_util.pl109 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 Dpuzzle_bool.pl118 % argument must be 1, the rest must be 0
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Ddbi.tex158 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 Dembfunc.tex40 returns the i'th argument of the predicate call.
/barrelfish-2018-10-04/lib/openssl-1.0.0d/Netware/
H A Dbuild.bat86 rem If we didn't recognize the argument, consider it an option for config
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dassoc.pl43 % Note that SEPIA will properly index on the last argument:

Completed in 218 milliseconds

1234567