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