var a07344 = [ [ "is_transparent", "a07344.html#a53b46c2894e8194ad359c5664f285db3", null ], [ "operator()", "a07344.html#a469c3c487ddce80e7520dd835d55d53d", null ] ];
var a07344 = [ [ "is_transparent", "a07344.html#a53b46c2894e8194ad359c5664f285db3", null ], [ "operator()", "a07344.html#a469c3c487ddce80e7520dd835d55d53d", null ] ];