var count__if_8hpp =
[
    [ "count_if", "count__if_8hpp.html#ga2857daba0c5d6dd40a65f50bdbf829d1", null ],
    [ "count_if", "count__if_8hpp.html#ga7029d66f7868bf69802d01469361afbb", null ]
];