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