Interface to ATerm's IndexedSets.
Strategy details
|
ATerm
|
iset-add(Strategy on_old, ATerm elem)
|
File
|
indexed.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
|
Adds elem to the set.
If the elem is already in the set, then on_old is applied toits index.
type
|
IndexedSet -> (Int | a )
|
|
|
ATerm
|
iset-add(ATerm elem)
|
Ensures that elem is in the set.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-addlist(ATerm lst)
|
Ensures that all elems in the specified list are in the set.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-clear
|
Removes all elements from the set.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-contains(ATerm elem)
|
Fails if elem is not in the set.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-destroy
|
Releases all memory occupied by the set.A destroyed set can no longer be used.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-elements
|
Returns all elements of the set.
type
|
IndexedSet(a) -> List(a)
|
|
|
ATerm
|
iset-eq(ATerm set2)
|
File
|
indexed.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
|
Checks whether a set has equal contents as another.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-fixpoint(Strategy s)
|
File
|
indexed.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
|
Applies s to the elements of a Set until it no more elements are added to this set.
|
|
ATerm
|
iset-get-elem(ATerm index)
|
Gets the element at index in the set.
Always provide a valid index: behaviour is undefined if the indexis not in the set.
|
|
ATerm
|
iset-get-index(ATerm elem)
|
Gets the index of elem in the set.
Fails if elem is not in the set.
|
|
ATerm
|
iset-isect(ATerm set2)
|
File
|
indexed.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
|
Intersects a set with another.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-remove(ATerm elem)
|
Removes elem from set.
If the elements is not in the set, then this strategy does not fail.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-subset(ATerm set2)
|
File
|
indexed.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
|
Checks whether one set is a subset of another.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
iset-union(ATerm set2)
|
File
|
indexed.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
|
Unites a set with another.
type
|
IndexedSet -> IndexedSet
|
|
|
ATerm
|
new-iset
|
Creates a new set with default initial size and maximum load.
|
|
ATerm
|
new-iset(ATerm initial_size, ATerm max_load)
|
File
|
indexed.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
initial_size
|
Int, Initial size of internal storage
|
ATerm
max_load
|
Int, 0-100.
|
|
Creates a new set with specified initial size and maximum load.
|
|