Manages addition and deletion of cuts to problem. More...
Include dependency graph for CutMan1.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Minotaur::CutMan1 |
| Derived class for managing cuts. Add and remove cuts based on priority and violation. More... | |
Namespaces | |
| namespace | Minotaur |
Detailed Description
Manages addition and deletion of cuts to problem.