Automatic generation produced by ISE Eiffel

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

General
	cluster: object_graph
	description: "Pseudo random number in a range."
	create: make, make_default

Ancestors
	RANDOM

Queries
	After: BOOLEAN
	changeable_comparison_criterion: BOOLEAN
	Default_seed: INTEGER_32
	double_i_th (i: INTEGER_32): REAL_64
	double_item: REAL_64
	exhausted: BOOLEAN
	Extendible: BOOLEAN
	for_all (test: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN
	Full: BOOLEAN
	has (n: INTEGER_32): BOOLEAN
	i_th (i: INTEGER_32): INTEGER_32
	Increment: 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
	item: INTEGER_32
	item_for_iteration: INTEGER_32
	linear_representation: LINEAR [INTEGER_32]
	Modulus: INTEGER_32
	Multiplier: INTEGER_32
	new_cursor: RANDOM
	next_item_in_range (a_min, a_max: INTEGER_32): INTEGER_32
	next_random (n: INTEGER_32): INTEGER_32
	object_comparison: BOOLEAN
	occurrences (v: [like item] INTEGER_32): INTEGER_32
	off: BOOLEAN
	Prunable: BOOLEAN
	Readable: BOOLEAN
	real_i_th (i: INTEGER_32): REAL_32
	real_item: REAL_32
	Replaceable: BOOLEAN
	seed: 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
	make
	search (v: [like item] INTEGER_32)
	set_seed (s: INTEGER_32)
	start



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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