11 #ifndef COUENNEBTPERFINDICATOR_HPP
12 #define COUENNEBTPERFINDICATOR_HPP
14 #include "CoinHelperFunctions.hpp"
void addToTimer(double time) const
add to timer
double nFixed_
Whose performance is this?
double totalTime_
old upper bounds
double * oldLB_
total weight (used to give an average indicator at the end of Couenne)
double boundRatio_
number of fixed variables
double shrunkInf_
average bound width shrinkage
CouenneBTPerfIndicator & operator=(const CouenneBTPerfIndicator &rhs)
int nRuns_
CPU time spent on this.
bool stats_
Couenne problem info.
~CouenneBTPerfIndicator()
CouenneBTPerfIndicator(CouenneProblem *p, const std::string &name)
Should stats be printed at the end? Copied from problem_ -> Jnlst () -> ProduceOutput (ERROR...
Class for MINLP problems with symbolic information.
double nProvedInfeas_
average # bounds that went from doubly infinite to infinite
double * oldUB_
old lower bounds (initial, i.e. before BT)
double shrunkDoubleInf_
average # bounds that went from infinite to finite (counts twice if [-inf,inf] to [a...
double CouNumber
main number type in Couenne
void setOldBounds(const CouNumber *lb, const CouNumber *ub) const
CouenneProblem * problem_
number of runs
void update(const CouNumber *lb, const CouNumber *ub, int depth) const
double weightSum_
average # proofs of infeasibility