Searched refs:functions (Results 1 - 25 of 73) sorted by relevance

123

/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dumsforeign.tex35 allows to use external functions written
37 C functions which are independent of {\eclipse}.
59 the external functions with {\eclipse}.
62 existing independent C functions, its main use is to
H A Dembsumc.tex29 Note that a self-contained subset of the functions described here
35 All these functions return (volatile) pwords, which can be used as input
36 to other constructor functions, or which can be stored in (non-volatile)
104 Auxiliary functions to access the {\eclipse} dictionary.
118 The following group of functions type-check an {\eclipse} term and
237 These two functions are only meaningful inside C functions that have been
281 These are the functions needed to embed {\eclipse} into a C main program.
292 functions of this interface (except option setting) can be used.
305 for how to write such functions)
[all...]
H A Decoptions.tex28 engine by calling the functions ec_set_option_long() and ec_set_option_ptr().
76 of the functions in this interface.
H A Dembsumcxx.tex29 Note that apart from the methods and functions described here,
30 all functions from the C interface which operate on simple types
62 The following are the functions for constructing {\eclipse} terms from
234 These two functions are only meaningful inside C++ functions that have been
281 These are the functions needed to embed {\eclipse} into a C++ main program.
285 functions of this interface can be used.
293 These are the functions needed to embed {\eclipse} into C++ code.
H A Dembfunc.tex35 External Predicates are C/C++ functions that can be called like predicates
37 Two following extra interface functions are provided for this purpose:
58 Apart from that, all functions for constructing, testing and decomposing
H A Dembed.tex39 For the equivalent C functions, please refer to chapter~\ref{chapsumc}.
243 functions that maintain some state. This state is the complete
266 None of the functions of the interface work before this initialisation. In
268 constructed by calling {\eclipse} functions you must arrange for the
500 referred to by a handle, and interface functions (or methods) provide
562 build an \verb.EC_word. In addition, functions exist for creating
597 The following example shows how you can write functions to build
622 structures. A number of different functions each with a different
654 The functions for decomposing and converting check that the type
670 you are expecting so only one of these functions nee
[all...]
/barrelfish-master/lib/openssl-1.0.0d/apps/
H A Dprogs.pl27 FUNCTION functions[] = {
H A Dopenssl.c133 /* The LHASH callbacks ("hash" & "cmp") have been replaced by functions with the
136 * functions. */
482 for (fp=functions; fp->name != NULL; fp++)
498 for (fp=functions; fp->name != NULL; fp++)
641 for(i=0,f=functions ; f->name != NULL ; ++f,++i)
643 qsort(functions,i,sizeof *functions,SortFnByName);
648 for (f=functions; f->name != NULL; f++)
H A Dprogs.h64 FUNCTION functions[] = { variable
/barrelfish-master/tools/fof/
H A DIntroLanguage.tex30 Chapter~\ref{chap:fof_libbarrelfish}, we define foreign functions
32 bound to be extended as long as foreign functions are needed. This is
/barrelfish-master/doc/016-serial-ports/
H A DSerial.tex125 these functions on a serial port which has not yet been initialized
129 Note that implementations of these functions should not attempt to use
156 The file \Intf also includes inline functions to initialize whichever
163 There are also input functions, which simply call
170 Output functions are similar, but in addition replace any LF character
195 Functions for logical ports are provided by inline functions in the
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dlists.pl671 This predicate does not perform any type testing functions.
726 This predicate does not perform any type testing functions.
753 This predicate does not perform any type testing functions.
793 This predicate does not perform any type testing functions.
821 This predicate does not perform any type testing functions.
845 This predicate does not perform any type testing functions.
870 This predicate does not perform any type testing functions.
896 This predicate does not perform any type testing functions.
925 This predicate does not perform any type testing functions.
952 This predicate does not perform any type testing functions
[all...]
/barrelfish-master/doc/015-disk-driver-arch/
H A Dblockdevfs.tex47 all \acs{vfs} related functions.
49 For standard \acs{vfs} operations, backends need to provide these four functions:
62 All functions are supplied with the backend-handle associated with the
91 calling the corresponding functions in libahci (\ahciinit and
114 \lstinline+flush_cache+ functions in the \acs{rpc} function table.
/barrelfish-master/lib/openssl-1.0.0d/util/
H A Dmkerr.pl86 functions are generated for each library specified in the
97 -staticloader Prefix generated functions with the 'static' scope modifier.
480 /* Error codes for the $lib functions. */
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex93 the allocation functions return NULL
134 These functions should be used when the caller can remember the size of the
287 To allocate and free private memory, use the generic allocation functions
H A Dbuiltins.tex42 The actual arithmetic operations are implemented in functions that are
121 Built-ins to access functions and data from foreign languages are implemented in
/barrelfish-master/usr/eclipseclp/documents/internal/project/
H A Dorganisation.tex215 global functions abc abc_def
216 static functions _abc _abc_def
217 functions for built_ins p_abc p_abc_def
/barrelfish-master/lib/tommath/
H A Dbn.tex75 LibTomMath is a library of source code which provides a series of efficient and carefully written functions for manipulating
160 instructs the system to build all of the functions. This is how LibTomMath used to be packaged. This will give you
281 However, LibTomMath was written with cryptography in mind. It provides essentially all of the functions a cryptosystem
350 All LTM functions that use the mp\_int type will expect a pointer to mp\_int structure. You must allocate memory to
356 The arithmetic functions of the library are all organized to have the same style prototype. That is source operands
365 Another feature of the way the functions have been implemented is that source operands can be destination operands as well.
385 represents the default integer which is zero. If the functions returns MP\_OKAY then the mp\_int is ready to be used
386 by the other LibTomMath functions.
642 small constant assignment functions. The first function is used to set a single digit constant while the second sets
643 an ISO C style ``unsigned long'' constant. The reason for both functions i
[all...]
/barrelfish-master/doc/019-device-drivers/
H A DDeviceDriver.tex123 A driver must provide an implementation for the following five functions:
142 having a specific, per-instance state coupled with the functions provided in
148 messages which basically act as wrappers for the driver functions described in
204 on your description. On the other hand, it will generate functions that let
247 code, we use various functions (the ones starting with \keywname{omap44xx\_})
387 device record? We already discussed how Kaluga uses different start functions
412 After that, you are able to invoke the library functions in
413 Listing~\ref{lst:pciapi} to initialize devices. The functions allow to gain
421 the drivers address space. You can use the defined in helper functions in
428 \begin{lstlisting}[caption={A driver uses one of the following functions t
[all...]
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsarith.tex240 functions.
243 \index{arithmetic!functions}\index{functions!arithmetic}
245 \index{arithmetic!predefined arithmetic functions}
246 The following predefined arithmetic functions are available.
392 predefined arithmetic functions shown in the table.
428 arithmetic functions (as listed in the table above):
466 the predefined arithmetic functions can also be called directly,
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dintroduction.tex62 functions and constraints on variables over these domains.
120 The expressions can include non-linear functions such as $sin$, built-in
121 constants such as $pi$. Piecewise linear unary functions are also available.
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dbackwards-sec.tex51 The hyperbolic radial functions are missing in \eclipse. The
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_comments.pl37 on sets cardinality and other optional set functions (minimum and maximum for
141 As mentioned, Cardinal also allows the definition and use of optional set functions
533 summary: "Set variable declaration with optional functions",
536 Functions is a list of functions over SetVariable in the form
548 functions will be performed only if these functions are explicitly
576 summary: "Set variables declaration with optional functions",
579 Functions is a list of functions over each SetVariable in SetVariables in the form
591 functions will be performed only if these functions ar
[all...]
H A Dcardinal_functions.pl37 % Set optional functions of Cardinal.
95 % Check if each optional function is in Functions to update SetVar's functions
107 % Check if each optional function is in (new) Functions, to update SetVar's functions
/barrelfish-master/usr/eclipseclp/Usc/src/
H A Dconfigure677 /* The GNU C library defines this for functions which it implements
678 to always fail with ENOSYS. Some functions are actually named

Completed in 85 milliseconds

123