var a07512 = [ [ "is_transparent", "a07512.html#aaadb23e8c0b293fc312095db75bfde46", null ], [ "operator()", "a07512.html#af5e4069dbf6f0ab487e0fc7927b75257", null ] ];
var a07512 = [ [ "is_transparent", "a07512.html#aaadb23e8c0b293fc312095db75bfde46", null ], [ "operator()", "a07512.html#af5e4069dbf6f0ab487e0fc7927b75257", null ] ];