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.