class EnumeratedIntegerDistribution extends AbstractIntegerDistribution {

    public double probability(final int x) {
        return innerDistribution.probability(x);
    }

    public  EnumeratedIntegerDistribution(final int[] singletons, final double[] probabilities);
    public  EnumeratedIntegerDistribution(final RandomGenerator rng,
                                       final int[] singletons, final double[] probabilities);

}