var a06845 =
[
    [ "default_delete", "a06845.html#a304c2d88d632c1023b5cf06066d18440", null ],
    [ "default_delete", "a06845.html#a91c7d2434b31fc4d62155d108d1bfd99", null ],
    [ "operator()", "a06845.html#a8ba28722822c984007c41986305ee762", null ]
];