d7">
                        <span class="separator"></span>
                        <a class="class" href="DepthFirstStrategy.html" title="Strategies that recursively refine depth-first through arguments and subproblems of problem components."></a>
                        <a href="DepthFirstStrategy.html" title="Strategies that recursively refine depth-first through arguments and subproblems of problem components.">
                          DepthFirstStrategy
                        </a>
                 