class PRESS_RANDOM_NUMBER_GENERATOR
--
-- Press' standard generator, which uses the MINIMAL_RANDOM_NUMBER_GENERATOR
-- and then uses shuffling to break up short order corelations.
--
inherit
MINIMAL_RANDOM_NUMBER_GENERATOR
redefine with_seed, last_integer, last_real, next
end
insert
MINIMAL_RANDOM_NUMBER_GENERATOR
rename next as min_next
export {} min_next
redefine with_seed, last_integer, last_real
end
Puzzling inheritance insertion