Declare methods and data structures for Random branching. More...
#include "Brancher.h"
Include dependency graph for RandomBrancher.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | Minotaur::RandomBrStats |
| class | Minotaur::RandomBrancher |
| A class to select random branching candidate from the available ones. More... | |
Namespaces | |
| namespace | Minotaur |
Typedefs | |
| typedef RandomBrancher * | Minotaur::RandomBrancherPtr |
Detailed Description
Declare methods and data structures for Random branching.