/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | cgi.pl | 71 summary:"Look up the value of a posted parameter", 73 desc:html("Look up the value of a posted parameter. Returns an empty string 74 if there is no parameter with the given name. Name must be an atom.")
|
H A D | http_server.pl | 119 The length of the object body is a parameter in the header 302 otherwise an error parameter is returned.
|
H A D | branch_and_bound.pl | 144 problem can be solved by increasing the delta-parameter, or by 295 printf(error, "branch_and_bound: parameter must not be a bounded real: %w%n", [X]), 331 writeln(warning_output, "Either increase bb_min delta parameter, or compute cost more precisely."), 532 writeln(warning_output, "Either increase bb_min delta parameter, or compute cost more precisely."), 714 Note the dependence on the delta-parameter: the costs of these 870 (the solutions-parameter is ignored).
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embjava.tex | 312 of the {\it Atom} class: the string parameter of the constructor 338 first parameter is a string which becomes the functor of the term. The 429 parameter {\it Object} implements {\it CompoundTerm} and its functor 433 argument of the parameter object. 441 goals in the {\eclipse}. This method takes as a parameter the goal to be 442 executed. How to construct this parameter is dealt with in Section 443 \ref{sec:ji-rpc-parameter}. Section \ref{sec:ji-rpc-return} explains 448 \subsection{Passing the goal parameter to {\tt rpc}\index{rpc() method}} 449 \label{sec:ji-rpc-parameter} 451 goal parameter [all...] |
H A D | dbi.tex | 483 supplying the values for any parameter values. 505 Some databases supports the execution of multiple tuples of parameter values at 506 once, doing this more efficiently than executing each tuple of parameter 529 parameter tuples. 642 of parameter values. Any unretrieved results from the previous execute are
|
/barrelfish-master/doc/021-cpudriver/ |
H A D | cpudriver.tex | 170 parameter allows the caller to prevent the entire frame capability from 185 type-specific parameter, and the upper limit in the second type-specific 186 parameter).
|
/barrelfish-master/usr/eclipseclp/Opium/ |
H A D | opium.pl | 89 * instantiated to the first parameter
|
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | kernel-lst.tex | 118 \item[database_parameter(+Name, ?Value)]{Set or retrieve the value of an internal parameter.}
|
H A D | multiuser-sec.tex | 292 controlling \eclipse parameter is turned on (see Knowledge Base BIP Book,
|
/barrelfish-master/lib/openssl-1.0.0d/apps/ |
H A D | pkcs12.c | 858 p = alg->parameter->value.sequence->data; 859 pbe = d2i_PBEPARAM(NULL, &p, alg->parameter->value.sequence->length);
|
H A D | ts.c | 560 if (!(algo->parameter = ASN1_TYPE_new())) goto err; 561 algo->parameter->type = V_ASN1_NULL;
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/ts/ |
H A D | ts_rsp_sign.c | 544 /* No message digest takes parameter. */ 545 if (md_alg->parameter 546 && ASN1_TYPE_get(md_alg->parameter) != V_ASN1_NULL) 550 "parameter.");
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | eplex.tex | 1196 parameter settings and call lp_solve again. 1500 Retrieve the value of a control parameter for the external solver for the 1506 Like lp_get/3, but get a control parameter for the external solver 1510 Retrieve the global value of a control parameter for the external solver. The 1516 Set a control parameter for the external solver for the problem represented 1522 Like lp_set/3, but set a control parameter for the external solver 1526 Set a control parameter for the external solver for the problem globally. 1528 global default for the parameter. The parameters are as in lp_get/3.
|
H A D | extconjunto.tex | 309 using a procedure which "trims" a list according to a given parameter. 318 if the parameter
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | libahci.tex | 154 table and the \lstinline+int *command+ output parameter is assigned the command 203 to request the port specified by the \lstinline+uint8_t port+ parameter of
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe.pl | 239 priority specified in the <B>Options</B> parameter. Solutions returned
|
H A D | ic_probing_tests.pl | 208 and terminating at minute 1155. The final parameter declares
|
H A D | probe.pl | 238 priority specified in the <B>Options</B> parameter. Solutions returned
|
H A D | probing_tests.pl | 206 and terminating at minute 1155. The final parameter declares
|
/barrelfish-master/usr/eclipseclp/documents/mpslib/ |
H A D | outline.tex | 173 have a session key parameter. The key, name and signature parameters are 180 when the port is empty. Notification predicates have one parameter via 464 its parameter specifies the port from which it should receive messages.
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | debugger.tex | 203 the trace routine. The suspension must be a parameter.
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | read.pl | 19 the state of parameter instantiation.
|
/barrelfish-master/lib/tommath/ |
H A D | bn.tex | 523 The $size$ parameter must be greater than zero. If the function succeeds the mp\_int $a$ will be initialized 595 the integer the mp\_int is meant to equal. The \textit{used} parameter dictates how many digits are significant, that is, 596 contribute to the value of the mp\_int. The \textit{alloc} parameter dictates how many digits are currently available in 605 This will grow the array of digits of $a$ to $size$. If the \textit{alloc} parameter is already bigger than 1829 These work like the full mp\_int capable variants except the second parameter $b$ is a mp\_digit. These
|
/barrelfish-master/usr/eclipseclp/documents/visualisation/ |
H A D | annotate.tex | 83 \viewablecreatetwo{} predicate, the first parameter of which is an
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 533 Once the initial design is finished, and the top-level structure of the program has been defined, we should convert this specification into workable code as quickly as possible. Problems with the parameter passing, missing information or a wrong sequence of the data flow can be detected much more easily this way. We propose to use stubs and dummy code to get an (incomplete) implementation directly from the specification. 617 clauses of the predicate. If a parameter is not used in some clause, then it 671 \index{iteration, list}\index{list}This concept is used to perform some action on each element of a list. There are two implementations given here. The first uses the {\it do}\index{do loop}\index{loop} loop of ECLiPSe, the second uses recursion\index{recursion} to achieve the same purpose. In the {\it do} loop, the {\it foreach}\index{foreach} keyword describes an action for each element of a list. The first argument (here $X$) is a formal parameter\index{formal parameter} of the loop. At each iteration, it will be bound to one element of the list. The second argument is the list over which we iterate. 713 Very often, we have to pass additional parameters into the {\it do} loop. We do this with the {\it param}\index{param} parameter, which lists all variables from outside the loop that we want to use inside the loop. A variable which is not mentioned as a {\it param} argument, is unbound inside the loop. Normally, this will create a warning about a singleton variable\index{singleton variable} inside a {\it do} loop. The following code fragment shows the use of {\it param} to pass variables $A$, $B$ and $C$ to the call of predicate {\it q}. 736 Here we use the information that each member of the list $L$ is a term {\it group/4} \index{group term}to replace the formal parameter with a term structure where we access individual fields directly. Also note that the body of the loop may contain more than one predicate call. 1390 Note the use of an empty body ({\it true}) \index{true}in the innermost loop. All calculations are done by parameter passing alone. 2163 \item[param] \index{param}declare parameter variables which are passed into the do-loop
|