Author(s): Lena Flood.
Version: 1.11#222 (2004/5/24, 13:8:7 CEST)
Version of last change: 1.11#112 (2003/12/22, 18:18:22 CET)
This module implements extendable arrays with logarithmic access time. It has been adapted from shared code written by David Warren and Fernando Pereira.
arrays
)arrays
)
Usage: new_array(Array)
Array
.
Array
is a free variable.
(term_typing:var/1
)
Usage: is_array(Array)
Array
actually is an array.
Array
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage: aref(Index, Array, Element)
Element
to Array
[Index
], or fails if Array
[Index
] has not been set.
Index
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Array
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage: arefa(Index, Array, Element)
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.
Index
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Array
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage: arefl(Index, Array, Element)
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.
Index
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Array
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage: aset(Index, Array, Element, NewArray)
NewArray
with the result of setting Array
[Index
] to Element
.
Index
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Array
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
NewArray
is a free variable.
(term_typing:var/1
)
Usage: array_to_list(Array, List)
List
of pairs Index-Element of all the elements of Array
that have been set.
Array
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
List
is a free variable.
(term_typing:var/1
)
Go to the first, previous, next, last section, table of contents.