Extendable arrays with logarithmic access time

Author(s): Lena Flood.

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.9#236 (2003/12/22, 18:18:14 CET)

This module implements extendable arrays with logarithmic access time. It has been adapted from shared code written by David Warren and Fernando Pereira.

• Usage and interface (arrays)
• Documentation on exports (arrays)

Usage and interface (arrays)

Documentation on exports (arrays)

PREDICATE: new_array/1:

Usage: new_array(-Array)

• Description: returns an empty new array Array.

PREDICATE: is_array/1:

Usage: is_array(+Array)

• Description: Array actually is an array.

PREDICATE: aref/3:

Usage: aref(+Index, +Array, ?Element)

• Description: unifies Element to Array[Index], or fails if Array[Index] has not been set.

PREDICATE: arefa/3:

Usage: arefa(+Index, +Array, ?Element)

• Description: is as aref/3, except that it unifies Element with a new array if Array[Index] is undefined. This is useful for multidimensional arrays implemented as arrays of arrays.

PREDICATE: arefl/3:

Usage: arefl(+Index, +Array, ?Element)

• Description: is as aref/3, except that Element appears as [] for undefined cells. Thus, arefl(_,_,[]) always succeeds no matter what you give in the first or second args.

PREDICATE: aset/4:

Usage: aset(+Index, +Array, Element, -NewArray)

• Description: unifies NewArray with the result of setting Array[Index] to Element.

PREDICATE: array_to_list/2:

Usage: array_to_list(+Array, -List)

• Description: returns a List of pairs Index-Element of all the elements of Array that have been set.

Go to the first, previous, next, last section, table of contents.