var a07504 = [ [ "is_transparent", "a07504.html#a3fdbe4bc0aa121a5eb232aa484978486", null ], [ "operator()", "a07504.html#a9919b09b041acefd12fb8f2e945eac7b", null ] ];
var a07504 = [ [ "is_transparent", "a07504.html#a3fdbe4bc0aa121a5eb232aa484978486", null ], [ "operator()", "a07504.html#a9919b09b041acefd12fb8f2e945eac7b", null ] ];