docs/v1.12/group__grp__sampling.js

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