You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Clarify documentation of choose_weighted(_mut) mentioning accurate behavior with floats (#1245)
* Fix the documentation for `choose_weighted(_mut)` as discussed in #1243.
* Mention that elements of zero weight are handled as expected by `WeightedIndex` as discussed in #1243.
Additionally fix some minor issues.
* Let the second example of `WeightedIndex` use floats to stress that they are handled correctly for the zero case.
* Manually indent doc comments.
0 commit comments