var a07412 = [ [ "is_transparent", "a07412.html#af84d01694ef67ed90c07cc1cc17b9b1c", null ], [ "operator()", "a07412.html#ae25c74788d4ec2e65edff8092c73a6cb", null ], [ "operator()", "a07412.html#ad74eb502dc443beb40d979496515c83b", null ] ];
var a07412 = [ [ "is_transparent", "a07412.html#af84d01694ef67ed90c07cc1cc17b9b1c", null ], [ "operator()", "a07412.html#ae25c74788d4ec2e65edff8092c73a6cb", null ], [ "operator()", "a07412.html#ad74eb502dc443beb40d979496515c83b", null ] ];