docs/v1.13/group__grp__sampling.js

var group__grp__sampling =
[
    [ "Stratified Sampling", "group__grp__strs.html", null ]
];