class
	GAME_RANDOM

General
	cluster: game_shared
	description: "A simple random generator"
	create: default_create, make_with_seed

Ancestors
	ANY

Queries
	last_random_integer: INTEGER_32
	last_random_integer_between (a_min, a_max: INTEGER_32): INTEGER_32
	last_random_real: REAL_32
	last_random_real_between (a_min, a_max: REAL_32): REAL_32

Commands
	generate_new_random

Generated by ISE EiffelStudio