var group__grp__sketches =
[
    [ "CountMin (Cormode-Muthukrishnan)", "group__grp__countmin.html", null ],
    [ "FM (Flajolet-Martin)", "group__grp__fmsketch.html", null ],
    [ "MFV (Most Frequent Values)", "group__grp__mfvsketch.html", null ]
];