var a07411 = [ [ "is_transparent", "a07411.html#afa8c38f3e978b126ae5fd6032d1616dd", null ], [ "operator()", "a07411.html#a17d4c0b7ccb078b34d980b20e3092c22", null ] ];
var a07411 = [ [ "is_transparent", "a07411.html#afa8c38f3e978b126ae5fd6032d1616dd", null ], [ "operator()", "a07411.html#a17d4c0b7ccb078b34d980b20e3092c22", null ] ];