A piecewise_constant_distribution random number distribution.
The formula for the piecewise constant probability mass function is
Definition at line 5483 of file random.h.