var a00716 =
[
    [ "PatchTableFactory", "a01009.html", "a01009" ],
    [ "PatchTableFactory::Options", "a01013.html", "a01013" ],
    [ "PatchTableFactory::PatchFaceTag", "a01017.html", "a01017" ]
];