var a00039 = [ [ "hasQName", "a00039.html#ae129d179432e3fbaa971b48d4e7b2327", null ], [ "operator()", "a00039.html#a8466cb60077c739979d6ec39514be9c7", null ] ];
var a00039 = [ [ "hasQName", "a00039.html#ae129d179432e3fbaa971b48d4e7b2327", null ], [ "operator()", "a00039.html#a8466cb60077c739979d6ec39514be9c7", null ] ];