class EnumeratedIntegerDistribution extends AbstractIntegerDistribution {

    public double cumulativeProbability(final int x) {
        double probability = 0;

        for (final Pair<Integer, Double> sample : innerDistribution.getPmf()) {
            if (sample.getKey() <= x) {
                probability += sample.getValue();
            }
        }

        return probability;
    }

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

}