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