var a06437 = [ [ "is_transparent", "a06437.html#af84d01694ef67ed90c07cc1cc17b9b1c", null ], [ "operator()", "a06437.html#a3d6fb2c019232932d2b591ece4eaeb85", null ] ];
var a06437 = [ [ "is_transparent", "a06437.html#af84d01694ef67ed90c07cc1cc17b9b1c", null ], [ "operator()", "a06437.html#a3d6fb2c019232932d2b591ece4eaeb85", null ] ];