primes Chart

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