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

Lines Matching defs:and

11 % the License for the specific language governing rights and limitations
26 \chapter{Non-logical Storage and References}
37 \item information can be \emph{saved across logical failures} and backtracking;
41 Obviously, these facilities must be used with care and should always
46 possible, the handle-based facilities (bags, shelves and stores) should be
48 state) and reduce the risk of memory leaks.
82 A bag is unordered and untyped. Any {\eclipse} term can be stored in a bag.
88 and the stored data can be retrieved as a list with
96 bags is more efficient, more robust, and trivially reentrant.
121 backtracking. The content of each slot can be set and retrieved
134 and retrieved with
167 is more appropriate and efficient than the facilities described here.
171 survive backtracking. The basic operations on stores are entering and
177 and referred to by handle, while named stores are created with a
179 declaration and referred to by their name within a module.
189 and retrieved using
206 \predspec{fib/2} that handles storage and lookup of results, and the standard
265 The atom is the \defnotionni{name} and the associated
269 Note that the associated term is being copied and so if it is not ground,
273 it is cleaner and more efficient to use
278 setting the variable (giving it a value), and referencing the variable
312 and \bipref{decval/1}{../bips/kernel/storage/decval-1.html}
313 may be used toincrement and decrement the value of the
315 The predicates \bipref{incval/1}{../bips/kernel/storage/incval-1.html} and
334 inside \about{Goal}, this would smash the counter and yield incorrect
360 It has a fixed number of dimensions and a fixed size in each dimension.
365 the number of dimensions, and the integers 5 and 8 specify the size
420 can be updated using \bipref{incval/1}{../bips/kernel/storage/incval-1.html} and
425 time and space efficiency of array element manipulation.
439 in the case of {\tt byte}, {\tt integer} and {\tt float}, and to
458 is provided to find the size, type and visibility of defined arrays.
459 of the array and its type to be found:
464 may be uninstantiated or partially instantiated), and \about{Props} is
465 a list indicating the array's type and visibility.
466 Non-logical variables are also returned: \about{Array} is then an atom, and
501 Terms stored in non-logical variables and arrays are copies of the
503 and the terms obtained by
515 and to access them even inside predicates that have no common variables
533 This reference is accessed and modified in the same way as non-logical
536 and \bipref{getval/2}{../bips/kernel/storage/getval-2.html},
573 achieved by storing a structure in a reference and using the structure's
574 arguments. The arguments can then be accessed and modified using
575 \bipref{arg/3}{../bips/kernel/termmanip/arg-3.html} and
579 %There is only a limited number of references available and their
583 difficult to understand and difficult to optimize.