var a07472 = [ [ "is_transparent", "a07472.html#aeb652119b3f82519dfbed309d4126f65", null ], [ "operator()", "a07472.html#a6168d1ca2e8e64fe3206f8a91a07beb6", null ], [ "operator()", "a07472.html#ace989e975a0058b2566eb201a636c385", null ] ];
var a07472 = [ [ "is_transparent", "a07472.html#aeb652119b3f82519dfbed309d4126f65", null ], [ "operator()", "a07472.html#a6168d1ca2e8e64fe3206f8a91a07beb6", null ], [ "operator()", "a07472.html#ace989e975a0058b2566eb201a636c385", null ] ];