((AbstractRealDistribution) distribution).reseedRandomGenerator(seed); } else { ((EnumeratedDistribution) distribution).reseedRandomGenerator(seed);
((AbstractRealDistribution) distribution).reseedRandomGenerator(seed); } else { ((EnumeratedDistribution) distribution).reseedRandomGenerator(seed);