Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	CHARACTER_TREE [G -> ANY]

General
	cluster: dictionary
	description: "Data structure that indexes items with a string_32 key by constructing a tree of characters."
	create: default_create, make

Ancestors
	ANY

Queries
	get (a_key: STRING_32): detachable G
	get_item_with_key (s: STRING_32): detachable G
	has (a_item: G; s: STRING_32): BOOLEAN
	print_tree (t: INTEGER_32): STRING_32

Commands
	insert (a_item: G; a_key: STRING_32)

Constraints
	is leaf implies character trees list
	is leaf implies key not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org