Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	PRIMES

General
	cluster: elks
	description: "Prime number properties"

Ancestors
	COUNTABLE_SEQUENCE* [G]
	ITERATION_CURSOR* [G]

Queries
	After: BOOLEAN
	all_lower_primes (n: INTEGER_32): ARRAY [BOOLEAN]
	changeable_comparison_criterion: BOOLEAN
	exhausted: BOOLEAN
	Extendible: BOOLEAN
	for_all (test: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN
	Full: BOOLEAN
	higher_prime (n: INTEGER_32): INTEGER_32
	i_th (i: INTEGER_32): INTEGER_32
	index: INTEGER_32
	index_of (v: [like item] INTEGER_32; i: INTEGER_32): INTEGER_32
	Is_empty: BOOLEAN
	is_inserted (v: INTEGER_32): BOOLEAN
	is_prime (n: INTEGER_32): BOOLEAN
	item: INTEGER_32
	item_for_iteration: INTEGER_32
	linear_representation: LINEAR [INTEGER_32]
	lower_prime (n: INTEGER_32): INTEGER_32
	new_cursor: PRIMES
	object_comparison: BOOLEAN
	occurrences (v: [like item] INTEGER_32): INTEGER_32
	off: BOOLEAN
	Prunable: BOOLEAN
	Readable: BOOLEAN
	Replaceable: BOOLEAN
	Smallest_odd_prime: INTEGER_32
	Smallest_prime: INTEGER_32
	there_exists (test: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN
	Writable: BOOLEAN

Commands
	compare_objects
	compare_references
	do_all (action: PROCEDURE [INTEGER_32])
	do_if (action: PROCEDURE [INTEGER_32]; test: FUNCTION [INTEGER_32, BOOLEAN])
	extend (v: INTEGER_32)
	finish
	forth
	search (v: [like item] INTEGER_32)
	start



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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