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