Minotaur::CutStat Struct Reference

#include <CutMan2.h>

Public Attributes
int	numAddedCuts
int	numDeletedCuts
int	numPoolToRel
int	numRelToPool
int	callNums
int	PoolSize
int	RelSize
int	numCuts

Detailed Description

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

---

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

• /home/amahajan/tmp/minotaur-test/src/base/CutMan2.h