• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/

Lines Matching defs:of

4 % The contents of this file are subject to the Cisco-style Mozilla Public
6 % in compliance with the License. You may obtain a copy of the License
15 % The Initial Developer of the Original Code is Cisco Systems, Inc.
26 \chapter{Summary of C++ Interface Functions}
45 returns the name string of the given atom identifier.
52 returns the name string of the given functor identifier.
55 returns the arity of the given functor identifier.
69 converts a C++ string of given length to an {\eclipse} string.
95 Construct an {\eclipse} list of length n from an array of long integers.
98 Construct an {\eclipse} list of length n from an array of chars.
101 Construct an {\eclipse} list of length n from an array of doubles.
104 creates an {\eclipse} array (a structure with functor \nil of
105 appropriate arity) of doubles from the given C++ array.
109 creates an {\eclipse} array (size rows) of arrays (size cols) of doubles
125 retrieve its contents if it is of the correct type.
136 when it is required to survive resuming of {\eclipse}.
141 when it is required to survive resuming of {\eclipse}.
171 returns the arity of an EC_word if it is a compound term,
195 create a data structure capable of holding n non-volatile
200 create a data structure capable of holding n non-volatile
202 with the value pw, which must be of a simple type.
219 creates an {\eclipse} list containing all the elements of the EC_refs.
239 i'th argument of the call.
248 Similar, but a method of EC_word.
270 checks whether the EC_word is an {\eclipse} external data handle of the
285 functions of this interface can be used.
303 resume execution of the {\eclipse} engine: All posted goals will
307 goals fail, and EC_yield if control was yielded because of a
309 contains the data passed by the first argument of yield/2).
319 as input into the second argument of yield/2 on resuming.
322 Should be applied to the ToC cut return value of an EC_resume().
323 Cut all choicepoints created by the batch of goals whose execution
328 execution of the corresponding event handler once the \eclipse