var dir_0bf44effc9d5f1c811dc80e75d6c2cea =
[
    [ "impl", "dir_de0dd586e28d0f713542e30b8368bba8.html", "dir_de0dd586e28d0f713542e30b8368bba8" ],
    [ "by-substitution.hh", "by-substitution_8hh.html", null ],
    [ "hierarchical-iterative.hh", "hierarchical-iterative_8hh.html", "hierarchical-iterative_8hh" ]
];