Lisaac prototype interface

Lisaac^TM Platform

AVL_DICTIONARY_NODE

Auxiliary class to implement AVL_DICTIONARY.

Inherit/Insert Summary
`parent_avl_tree_node`
`parent_any_avl_dictionary_node` No developed.
`parent_avl_constants` No developed.

Constructor Summary
`create`

Slot Summary
`key`
`set_key`
`value`
`set_value`
`fast_at` Is element e in the tree?
`occurrences`
`fast_occurrences`
`key_at`
`fast_key_at`
`occurrences start`
`fast_occurrences start`
`out_in_tagged_out_memory`
`left`
`right`
`item`
`balance` Balance factor; either balanced (the tree is balanced), imbalanced_left (the left branch is the longer) or imbalanced_right (the right branch is the longer)
`count`
`height`
`map_in`
`has` Is element e in the tree?
`fast_has` Is element e in the tree?
`at` Is element e in the tree?
`set_item`
`set_left`
`set_right`
`set_balance`

Creation:
`make`

Rotations:
`rotate_right` Proceeds to some reorganisation and returns the upper node.
`rotate_left` Proceeds to some reorganisation and returns the upper node.

Inherit/Insert Detail

parent_avl_tree_node

.../base/collection/low_level/avl_dictionary_node.li line #12
Section:: Inherit
Profile:: + Self: SELF. parent_avl_tree_node :Expanded AVL_TREE_NODE( K)

parent_any_avl_dictionary_node

.../base/collection/low_level/avl_dictionary_node.li line #14
Section:: Inherit
Profile:: - Self: SELF. parent_any_avl_dictionary_node : ANY_AVL_DICTIONARY_NODE

parent_avl_constants

.../base/collection/low_level/avl_tree_node.li line #15
Section:: Insert
Profile:: - Self: SELF. parent_avl_constants : AVL_CONSTANTS

Constructor Detail

create

.../base/collection/low_level/avl_dictionary_node.li line #136
Section:: AVL_DICTIONARY
Profile:: - Self: SELF. create ( v : V, k : K) : SELF

Detail slot

key

.../base/collection/low_level/avl_dictionary_node.li line #18
Section:: Public
Profile:: - Self: SELF. key : K

set_key

.../base/collection/low_level/avl_dictionary_node.li line #20
Section:: Public
Profile:: - Self: SELF. set_key i : K

value

.../base/collection/low_level/avl_dictionary_node.li line #24
Section:: AVL_DICTIONARY, AVL_DICTIONARY_NODE
Profile:: + Self: SELF. value : V

set_value

.../base/collection/low_level/avl_dictionary_node.li line #26
Section:: AVL_DICTIONARY, AVL_DICTIONARY_NODE
Profile:: - Self: SELF. set_value v : V

fast_at

.../base/collection/low_level/avl_dictionary_node.li line #34
Section:: AVL_DICTIONARY, AVL_DICTIONARY_NODE
Profile:: - Self: SELF. fast_at k : K : AVL_DICTIONARY_NODE( V, K)
Description:: Is element e in the tree?

occurrences

.../base/collection/low_level/avl_dictionary_node.li line #55
Section:: AVL_DICTIONARY, AVL_DICTIONARY_NODE
Profile:: - Self: SELF. occurrences v : V : INTEGER

fast_occurrences

.../base/collection/low_level/avl_dictionary_node.li line #60
Section:: AVL_DICTIONARY, AVL_DICTIONARY_NODE
Profile:: - Self: SELF. fast_occurrences v : V : INTEGER

key_at

.../base/collection/low_level/avl_dictionary_node.li line #65
Section:: AVL_DICTIONARY, AVL_DICTIONARY_NODE
Profile:: - Self: SELF. key_at v : V : K

fast_key_at

.../base/collection/low_level/avl_dictionary_node.li line #78
Section:: AVL_DICTIONARY, AVL_DICTIONARY_NODE
Profile:: - Self: SELF. fast_key_at v : V : K

occurrences start

.../base/collection/low_level/avl_dictionary_node.li line #93
Section:: AVL_DICTIONARY_NODE
Profile:: - Self: SELF. occurrences v : V start cnt : INTEGER : INTEGER

fast_occurrences start

.../base/collection/low_level/avl_dictionary_node.li line #112
Section:: AVL_DICTIONARY_NODE
Profile:: - Self: SELF. fast_occurrences v : V start cnt : INTEGER : INTEGER

out_in_tagged_out_memory

.../base/collection/low_level/avl_tree_node.li line #19
Section:: Public
Profile:: - Self: SELF. out_in_tagged_out_memory

left

.../base/collection/low_level/avl_tree_node.li line #40
Section:: Public
Profile:: + Self: SELF. left : AVL_TREE_NODE( V)

right

.../base/collection/low_level/avl_tree_node.li line #42
Section:: Public
Profile:: + Self: SELF. right : AVL_TREE_NODE( V)

item

.../base/collection/low_level/avl_tree_node.li line #44
Section:: Public
Profile:: + Self: SELF. item : V

balance

.../base/collection/low_level/avl_tree_node.li line #46
Section:: Public
Profile:: + Self: SELF. balance : INTEGER
Description:: Balance factor; either balanced (the tree is balanced), imbalanced_left (the left branch is the longer) or imbalanced_right (the right branch is the longer)

count

.../base/collection/low_level/avl_tree_node.li line #51
Section:: Public
Profile:: - Self: SELF. count : INTEGER

height

.../base/collection/low_level/avl_tree_node.li line #64
Section:: Public
Profile:: - Self: SELF. height : INTEGER

map_in

.../base/collection/low_level/avl_tree_node.li line #76
Section:: Public
Profile:: - Self: SELF. map_in map : COLLECTION( AVL_TREE_NODE( V))

has

.../base/collection/low_level/avl_tree_node.li line #93
Section:: Public
Profile:: - Self: SELF. has e : V : BOOLEAN
Description:: Is element e in the tree?

fast_has

.../base/collection/low_level/avl_tree_node.li line #108
Section:: Public
Profile:: - Self: SELF. fast_has e : V : BOOLEAN
Description:: Is element e in the tree?

at

.../base/collection/low_level/avl_tree_node.li line #126
Section:: Public
Profile:: - Self: SELF. at e : V : AVL_TREE_NODE( V)
Description:: Is element e in the tree?

set_item

.../base/collection/low_level/avl_tree_node.li line #144
Section:: Public
Profile:: - Self: SELF. set_item i : V

set_left

.../base/collection/low_level/avl_tree_node.li line #157
Section:: Public
Profile:: - Self: SELF. set_left l : AVL_TREE_NODE( V)

set_right

.../base/collection/low_level/avl_tree_node.li line #169
Section:: Public
Profile:: - Self: SELF. set_right r : AVL_TREE_NODE( V)

set_balance

.../base/collection/low_level/avl_tree_node.li line #180
Section:: Public
Profile:: - Self: SELF. set_balance b : INTEGER

Creation:

make

.../base/collection/low_level/avl_dictionary_node.li line #144
Section:: AVL_DICTIONARY
Profile:: - Self: SELF. make ( v : V, k : K)

Rotations:

rotate_right

.../base/collection/low_level/avl_tree_node.li line #194
Section:: AVL_TREE, AVL_DICTIONARY, AVL_SET
Profile:: - Self: SELF. rotate_right : AVL_TREE_NODE( V)
Description:: Proceeds to some reorganisation and returns the upper node.

rotate_left

.../base/collection/low_level/avl_tree_node.li line #209
Section:: AVL_TREE, AVL_DICTIONARY, AVL_SET
Profile:: - Self: SELF. rotate_left : AVL_TREE_NODE( V)
Description:: Proceeds to some reorganisation and returns the upper node.