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