note
	description: "[
		Inherit from this class to use the GAME_RANDOM singleton named game_library.
		Assign internal_random prior to use the Random feature to set a custom
		GAME_RANDOM. May be quite useful for mock testing with a precise random seed.
	]"
	author: "Louis Marchand"
	date: "Sat, 28 Mar 2015 03:32:15 +0000"
	revision: "2.0"

deferred class interface
	GAME_RANDOM_SHARED

feature -- Access

	Random: GAME_RANDOM
			-- The random generator singleton
	
end -- class GAME_RANDOM_SHARED

Generated by ISE EiffelStudio