Declare methods and data structures for lexicographic branching. More...
#include "Brancher.h"
Include dependency graph for LexicoBrancher.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | Minotaur::LexicoBrStats |
| class | Minotaur::LexicoBrancher |
Namespaces | |
| namespace | Minotaur |
Typedefs | |
| typedef LexicoBrancher * | Minotaur::LexicoBrancherPtr |
Detailed Description
Declare methods and data structures for lexicographic branching.