#include <CutPool.h>

Public Member Functions
	CutPool ()
	Default constructor.

	CutManager (EnvPtr env)
	Constructor that loads the relaxation problem.

	~CutManager ()
	Destroy.

void	addCut (CutPtr cut)
	Add to pool.

void	addCuts (CutVector cuts)
	Add to pool.

CutPtr	findDup (CutPtr cut)
	Find duplicate.

void	removeCut (CutPtr cut)
	Remove a cut.

void	removeCuts (CutVector cuts)
	Remove a cut.

void	write (std::ostream &out) const
	Write to output.

Detailed Description

The CutPool class is meant to store the cutting planes generated by different cut generators and handlers.

The documentation for this class was generated from the following file:

Public Member Functions