var a06849 =
[
    [ "default_delete", "a06849.html#a8add7bace07168095265e2cbe19cd3fe", null ],
    [ "default_delete", "a06849.html#aec0bac655768abe7060853f80292614f", null ],
    [ "operator()", "a06849.html#a491fbc48c47ec8ead19fa80a1f70444b", null ],
    [ "operator()", "a06849.html#a34e9ca6cfdb9de91963065b15e0bb87d", null ]
];