ParCutMan.h File Reference

Manages storage, addition and deletion of cuts to problem. More...

#include <list>
#include "CutManager.h"
#include "Types.h"

Include dependency graph for ParCutMan.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	Minotaur::ParCutMan
	Derived class for managing cuts. Add and remove cuts based on priority and violation. More...

Namespaces
namespace	Minotaur

Detailed Description

Manages storage, addition and deletion of cuts to problem.

Author

Meenarli Sharma, Prashant Palkar, IIT Bombay