var a07407 = [ [ "is_transparent", "a07407.html#ade150745620f61224808a8c8ed5cc758", null ], [ "operator()", "a07407.html#afcd599b24c0e4e6cd9ce9ea2724cd63e", null ] ];
var a07407 = [ [ "is_transparent", "a07407.html#ade150745620f61224808a8c8ed5cc758", null ], [ "operator()", "a07407.html#afcd599b24c0e4e6cd9ce9ea2724cd63e", null ] ];