14 #ifndef DECOMP_STATS_INCLUDED 
   15 #define DECOMP_STATS_INCLUDED 
vector< double > thisSolveRelaxApp
 
vector< double > thisDecomp
 
This class implements a timer that also implements a tracing functionality. 
 
void printDetailedStats(std::ostream *os=&std::cout)
 
vector< double > thisSolUpdate
 
vector< double > thisGenCuts
 
void printOverallStats(std::ostream *os=&std::cout)
 
vector< double > thisGenVars
 
double totalSolveRelaxApp
 
vector< double > thisSolveRelax