Lines Matching refs:functions
29 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). The module must exist.
311 These are the functions needed to embed {\eclipse} into C code.
432 These functions allow exchanging data with an embedded {\eclipse} via
468 These two functions provide an alternative method for posting goals and