This module provides an updatable hash data-structure on top of the updatable array datastructure.
Here's an overview of the predicates provided:
fsa_u_hash_new/[1,2] create a new updatable hash
fsa_u_hash_get/3 lookup a value from an updatable hash
fsa_u_hash_put/[4,6] update a value in an updatable hash
The hash function is taken from library(terms). The default size of the hashes is determined by the global variable hash_size.
This section lists the predicates defined by this module.
Initializes a new UpdatableFsaHash with size Size; or default size if there is no second argument. The default size is determined by the global variable hash_size.
Val is unified with the value associated with Key in UpdatableFsaHash. If no such key exists in UpdatableFsaHash already, then the predicate fails.
The value associated with Key in UpdatableFsaHash0 is updated to Val, resulting in the new hash UpdatableFsaHash. OldVal is unified with the old value (it it existed) or with Default (if it didn't exist).