var a01016 = [ [ "__pool_alloc_base", "a09265.html", "a09265" ], [ "operator!=", "a01016.html#a7f1d88c4617744a77db6727d6fb55663", null ], [ "operator==", "a01016.html#a6eaa9b617f7be5e5c62653c60bde0a42", null ] ];
var a01016 = [ [ "__pool_alloc_base", "a09265.html", "a09265" ], [ "operator!=", "a01016.html#a7f1d88c4617744a77db6727d6fb55663", null ], [ "operator==", "a01016.html#a6eaa9b617f7be5e5c62653c60bde0a42", null ] ];