Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	GENERAL_SPECIAL_ITERATION_CURSOR [G, H -> READABLE_INDEXABLE [G]]

General
	cluster: elks
	description: "External forward one-step iteration cursor for structures that use {SPECIAL} for storage."

Ancestors
	TYPED_INDEXABLE_ITERATION_CURSOR* [G, H -> READABLE_INDEXABLE [G]]

Queries
	after: BOOLEAN
	cursor_index: INTEGER_32
	decremented alias "-" (n: [like step] INTEGER_32): READABLE_INDEXABLE_ITERATION_CURSOR [G]
	first_index: INTEGER_32
	incremented alias "+" (n: [like step] INTEGER_32): READABLE_INDEXABLE_ITERATION_CURSOR [G]
	is_first: BOOLEAN
	is_last: BOOLEAN
	Is_reversed: BOOLEAN
	is_valid: BOOLEAN
	item: G
	last_index: INTEGER_32
	new_cursor: INDEXABLE_ITERATION_CURSOR [G]
	reversed alias "-": READABLE_INDEXABLE_ITERATION_CURSOR [G]
	Step: INTEGER_32
	target_index: INTEGER_32
	with_step (n: [like step] INTEGER_32): READABLE_INDEXABLE_ITERATION_CURSOR [G]

Commands
	forth
	start



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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