Lisaac prototype interface

Section Header
+ name := AVL_DICTIONARY_NODE[V,K];
- comment := "Auxiliary class to implement AVL_DICTIONARY.";
Section Inherit
+ parent_avl_tree_node:Expanded AVL_TREE_NODE[K];
- parent_any_avl_dictionary_node:ANY_AVL_DICTIONARY_NODE :=
Section Public
- key:K <-
- set_key i:K <-
Section AVL_DICTIONARY, AVL_DICTIONARY_NODE
+ value:V;
- set_value v:V <-
- fast_at k:K :AVL_DICTIONARY_NODE[V, K] <-
Is element `e' in the tree?
- occurrences v:V :INTEGER <-
- fast_occurrences v:V :INTEGER <-
- key_at v:V :K <-
- fast_key_at v:V :K <-
Section AVL_DICTIONARY_NODE
- occurrences v:V start cnt:INTEGER :INTEGER <-
- fast_occurrences v:V start cnt:INTEGER :INTEGER <-
Section AVL_DICTIONARY
Creation:
- create (v:V,k:K) :SELF <-
- make (v:V,k:K) <-