var a00725 =
[
    [ "PatchTableFactory", "a01008.html", "a01008" ],
    [ "PatchTableFactory::Options", "a01012.html", "a01012" ],
    [ "PatchTableFactory::PatchFaceTag", "a01016.html", "a01016" ]
];