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