var dir_df058f95d50e70f79d45e701785aeeea =
[
    [ "recipes", "dir_1d3182dd9343cbf2bf020019d7aecdaf.html", "dir_1d3182dd9343cbf2bf020019d7aecdaf" ],
    [ "strategies", "dir_c85f84f7f015afbcc10a78da856d2c0f.html", "dir_c85f84f7f015afbcc10a78da856d2c0f" ],
    [ "contract.hpp", "contract_8hpp.html", "contract_8hpp" ],
    [ "default_preconditioners.hpp", "default__preconditioners_8hpp.html", "default__preconditioners_8hpp" ],
    [ "failure.hpp", "solver_2preconditioner_2failure_8hpp.html", "solver_2preconditioner_2failure_8hpp" ],
    [ "keys.hpp", "solver_2preconditioner_2keys_8hpp.html", "solver_2preconditioner_2keys_8hpp" ],
    [ "preconditioner.hpp", "preconditioner_8hpp.html", "preconditioner_8hpp" ]
];