var a00725 =
[
    [ "xmltooling::ParserPool", "a02007.html", "a02007" ],
    [ "xmltooling::StreamInputSource", "a02011.html", "a02011" ],
    [ "xmltooling::StreamInputSource::StreamBinInputStream", "a02015.html", "a02015" ],
    [ "xmltooling::URLInputSource", "a02019.html", "a02019" ]
];