class
	RANDOM_NUMBER

General
	cluster: basic_tests
	description: "This class allows you to generate RANDOM_NUMBERs for use in other classes."
	create: make_real_random, make_repeatable, make_with_seed

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
	integer_value_between (low_limit, high_limit: INTEGER_32): INTEGER_32
	Is_empty: BOOLEAN
	is_inserted (v: INTEGER_32): BOOLEAN
	item: INTEGER_32
	item_for_iteration: INTEGER_32
	Modulus: INTEGER_32
	Multiplier: INTEGER_32
	new_cursor: RANDOM
	next_random (n: INTEGER_32): INTEGER_32
	next_value: REAL_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_value_between (low_limit, high_limit: INTEGER_32): 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])
	make
	make_real_random
	make_repeatable
	make_with_seed (s: INTEGER_32)
	search (v: [like item] INTEGER_32)
	set_seed (s: INTEGER_32)
	start

Generated by ISE EiffelStudio