Issue 792: piecewise_constant_distribution is undefined for a range with just one endpoint

Title: piecewise_constant_distribution is undefined for a range with just one endpoint
Status: cd1
Section: [rand.dist.samp.pconst]
Submitter: P.J. Plauger

Created on 2008-02-09.00:00:00 last changed 172 months ago

msg3788 (view)

Date: 2010-10-21.18:28:33

Proposed resolution:

Change [rand.dist.samp.pconst] paragraph 3b:

b) If firstB == lastB or the sequence w has the length zero,

msg3787 (view)

Date: 2008-02-09.00:00:00

piecewise_constant_distribution is undefined for a range with just one endpoint. (Probably should be the same as an empty range.)