|
Minotaur 0.4.1
Docs for developers
|
Manages addition and deletion of cuts to problem. More...
#include "Types.h"

Go to the source code of this file.
Classes | |
| class | Minotaur::CutManager |
| Abstract base class to manage cuts in the relaxation. More... | |
Namespaces | |
| namespace | Minotaur |
Typedefs | |
| typedef CutManager * | Minotaur::CutManagerPtr |
Manages addition and deletion of cuts to problem.