|
Minotaur 0.4.1
Docs for developers
|
Define class TreeManager for managing tree for Branch-and-Bound. More...
#include <cmath>#include "MinotaurConfig.h"#include "Branch.h"#include "NodeHeap.h"#include "NodeStack.h"#include "Operations.h"#include "TreeManager.h"
Define class TreeManager for managing tree for Branch-and-Bound.