var a07363 = [ [ "is_transparent", "a07363.html#abcd279050f99a772e13a21b84a56f12e", null ], [ "operator()", "a07363.html#a54630e78f804b91924ef2cfc1c310de1", null ] ];
var a07363 = [ [ "is_transparent", "a07363.html#abcd279050f99a772e13a21b84a56f12e", null ], [ "operator()", "a07363.html#a54630e78f804b91924ef2cfc1c310de1", null ] ];