var ProblemTypes_8h =
[
    [ "ProblemSolutionList", "ProblemTypes_8h.html#af6f748c10ae9f94534b7bc7ac0c9ba2a", null ],
    [ "ResolverProblemList", "ProblemTypes_8h.html#a9df8818d25d13079c9af5dda11fd7072", null ],
    [ "DEFINE_PTR_TYPE", "ProblemTypes_8h.html#af8895b6745679aa5f81114694cfa9fb2", null ],
    [ "DEFINE_PTR_TYPE", "ProblemTypes_8h.html#a04a74caad5eb433eeeefff106b47f199", null ],
    [ "DEFINE_PTR_TYPE", "ProblemTypes_8h.html#a41c6541f067ad19233e667ae1c7eca60", null ]
];