[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

library(hash)

Hash table library

Predicates

hash_add(+Table,+Key,+Value)
Add an (or modify the existing) entry with key Key and value Value to the hash table
hash_create(-Table)
Creates a new hash table
hash_display(?, ?)
No description available
hash_find(+Table,+Key,-Value)
Find the entry stored under key Key and return its value
hash_iter(+Hash,-Iter)
Create an iterator to traverse the hash table
hash_last(+Iter)
Succeeds if the iterator has reached the end of the table
hash_list(+Hash,-Keys,-Values)
Retrieve the hash table contents
hash_next(+Iter0,-Key,-Value,-Iter1)
Get the next Key - Value pair according to the iterator
hash_remove(+Table,+Key,-Value)
Remove an entry with key Key and value Value from the hash table
hash_stat(+Hash)
Prints statistics about the hash table

Other Exports

export portray(hash_table / 3, hash_display / 2, [])

About


Generated from hash.eci on Wed May 15 03:41:14 2002