Declare class CutPool for storing cuts. More...
#include "Types.h"
Include dependency graph for CutPool.h:
Go to the source code of this file.
Classes | |
| class | Minotaur::CutPool |
Namespaces | |
| namespace | Minotaur |
Typedefs | |
| typedef Environment * | Minotaur::EnvironmentPtr |
| typedef Cut * | Minotaur::CutPtr |
| typedef Solution * | Minotaur::SolutionPtr |
| typedef std::deque< CutPtr > | Minotaur::CutQ |
Detailed Description
Declare class CutPool for storing cuts.