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