var a00931 =
[
    [ "pointer", "df/dbc/a00931.xhtml#ad66bf4ccfca5b02a164ee9bef1d85f46", null ],
    [ "UnmapDelete", "df/dbc/a00931.xhtml#ad79a99977aaaece84823f7dfaab90221", null ],
    [ "operator()", "df/dbc/a00931.xhtml#ae15678cc81f5610aceb115e61c3ead3b", null ],
    [ "size", "df/dbc/a00931.xhtml#ae11e6c79c2ef9602606b29f1c10dc2b3", null ]
];