var a07352 = [ [ "is_transparent", "a07352.html#a6a4bc3a3c731923fe87021b881b41ae0", null ], [ "operator()", "a07352.html#ad253da810f518298754bc036ce95baed", null ] ];
var a07352 = [ [ "is_transparent", "a07352.html#a6a4bc3a3c731923fe87021b881b41ae0", null ], [ "operator()", "a07352.html#ad253da810f518298754bc036ce95baed", null ] ];