CutMan2.h File Reference

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

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

Include dependency graph for CutMan2.h:

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

Go to the source code of this file.

Classes
struct	Minotaur::CutStat
class	Minotaur::CutMan2
struct	Minotaur::CutMan2::ctMngrInfo

Namespaces
namespace	Minotaur

Typedefs
typedef Constraint *	Minotaur::ConstraintPtr
typedef std::list< CutPtr >	Minotaur::cutList
typedef CutMan2 *	Minotaur::CutMan2Ptr

Detailed Description

Manages addition and deletion of cuts to problem.

Author

Mahdi Hamzeei, University of Wisconsin-Madison