var a07511 = [ [ "is_transparent", "a07511.html#a8e25178fe18e3d53a2f39ba2d6bee2f8", null ], [ "operator()", "a07511.html#a1ac2df963e793dc47f8642b066ca59b1", null ] ];
var a07511 = [ [ "is_transparent", "a07511.html#a8e25178fe18e3d53a2f39ba2d6bee2f8", null ], [ "operator()", "a07511.html#a1ac2df963e793dc47f8642b066ca59b1", null ] ];