var a07351 = [ [ "is_transparent", "a07351.html#aff92940a37da1abe702d0dcc024e5b5e", null ], [ "operator()", "a07351.html#ae3f6087e319f345cab6fa4188916750c", null ] ];
var a07351 = [ [ "is_transparent", "a07351.html#aff92940a37da1abe702d0dcc024e5b5e", null ], [ "operator()", "a07351.html#ae3f6087e319f345cab6fa4188916750c", null ] ];