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