A discrete_distribution random number distribution.
The formula for the discrete probability mass function is
Definition at line 5253 of file random.h.