Scippy

SoPlex

Sequential object-oriented simPlex

#include <statistics.h>

Public Member Functions

	Statistics (Timer::TYPE ttype=Timer::USER_TIME)
	default constructor More...

	Statistics (const Statistics &base)
	copy constructor More...

Statistics &	operator= (const Statistics &rhs)
	assignment operator More...

	~Statistics ()
	destructor More...

void	clearAllData ()
	clears all statistics More...

void	clearSolvingData ()
	clears statistics on solving process More...

void	print (std::ostream &os)
	prints statistics More...

Public Attributes

Timer *	readingTime
	reading time not included in solving time More...

Timer *	solvingTime
	solving time More...

Timer *	preprocessingTime
	preprocessing time More...

Timer *	simplexTime
	simplex time More...

Timer *	syncTime
	time for synchronization between real and rational LP (included in solving time) More...

Timer *	transformTime
	time for transforming LPs (included in solving time) More...

Timer *	rationalTime
	time for rational LP solving (included in solving time) More...

Timer *	reconstructionTime
	time for rational reconstructions More...

Timer::TYPE	timerType
	type of timer (user or wallclock) More...

Real	luFactorizationTimeReal
	time for factorizing bases matrices in real precision More...

Real	luSolveTimeReal
	time for solving linear systems in real precision More...

Real	luFactorizationTimeRational
	time for factorizing bases matrices in rational precision More...

Real	luSolveTimeRational
	time for solving linear systems in rational precision More...

int	iterations
	number of iterations/pivots More...

int	iterationsPrimal
	number of iterations with Primal More...

int	iterationsFromBasis
	number of iterations from Basis More...

int	boundflips
	number of dual bound flips More...

int	luFactorizationsReal
	number of basis matrix factorizations in real precision More...

int	luSolvesReal
	number of (forward and backward) solves with basis matrix in real precision More...

int	luFactorizationsRational
	number of basis matrix factorizations in rational precision More...

int	rationalReconstructions
	number of rational reconstructions performed More...

int	refinements
	number of refinement steps More...

int	stallRefinements
	number of refinement steps without pivots More...

int	pivotRefinements
	number of refinement steps until final basis is reached More...

int	feasRefinements
	number of refinement steps during infeasibility test More...

int	unbdRefinements
	number of refinement steps during undboundedness test More...

Detailed Description

Definition at line 34 of file statistics.h.

Constructor & Destructor Documentation

Statistics ( Timer::TYPE ttype = Timer::USER_TIME )

default constructor

Definition at line 27 of file statistics.cpp.

References SoPlex::Statistics::clearAllData(), TimerFactory::createTimer(), SoPlex::Statistics::preprocessingTime, SoPlex::Statistics::rationalTime, SoPlex::Statistics::readingTime, SoPlex::Statistics::reconstructionTime, SoPlex::Statistics::simplexTime, SoPlex::Statistics::solvingTime, SoPlex::Statistics::syncTime, SoPlex::Statistics::timerType, and SoPlex::Statistics::transformTime.

Statistics ( const Statistics & base )

copy constructor

Definition at line 42 of file statistics.cpp.

References SoPlex::Statistics::clearAllData(), TimerFactory::createTimer(), SoPlex::Statistics::preprocessingTime, SoPlex::Statistics::rationalTime, SoPlex::Statistics::readingTime, SoPlex::Statistics::reconstructionTime, SoPlex::Statistics::simplexTime, SoPlex::Statistics::solvingTime, SoPlex::Statistics::syncTime, SoPlex::Statistics::timerType, and SoPlex::Statistics::transformTime.

~Statistics ( )

destructor

Definition at line 52 of file statistics.h.

References SoPlex::Statistics::clearAllData(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::preprocessingTime, SoPlex::Statistics::print(), SoPlex::Statistics::rationalTime, SoPlex::Statistics::readingTime, SoPlex::Statistics::reconstructionTime, SoPlex::Statistics::simplexTime, SoPlex::Statistics::solvingTime, soplex::spx_free(), SoPlex::Statistics::syncTime, SoPlex::Statistics::transformTime, and Timer::~Timer().

Referenced by SoPlex::~SoPlex().

Member Function Documentation

void clearAllData ( )

clears all statistics

Definition at line 90 of file statistics.cpp.

References SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::readingTime, and Timer::reset().

Referenced by SoPlex::_readFileRational(), SoPlex::_readFileReal(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

void clearSolvingData ( )

clears statistics on solving process

Definition at line 97 of file statistics.cpp.

References SoPlex::Statistics::boundflips, SoPlex::Statistics::feasRefinements, SoPlex::Statistics::iterations, SoPlex::Statistics::iterationsFromBasis, SoPlex::Statistics::iterationsPrimal, SoPlex::Statistics::luFactorizationsRational, SoPlex::Statistics::luFactorizationsReal, SoPlex::Statistics::luFactorizationTimeRational, SoPlex::Statistics::luFactorizationTimeReal, SoPlex::Statistics::luSolvesReal, SoPlex::Statistics::luSolveTimeRational, SoPlex::Statistics::luSolveTimeReal, SoPlex::Statistics::pivotRefinements, SoPlex::Statistics::preprocessingTime, SoPlex::Statistics::rationalReconstructions, SoPlex::Statistics::rationalTime, SoPlex::Statistics::reconstructionTime, SoPlex::Statistics::refinements, Timer::reset(), SoPlex::Statistics::simplexTime, SoPlex::Statistics::solvingTime, SoPlex::Statistics::stallRefinements, SoPlex::Statistics::syncTime, SoPlex::Statistics::transformTime, and SoPlex::Statistics::unbdRefinements.

Referenced by SoPlex::Statistics::clearAllData(), SoPlex::solve(), and SoPlex::Statistics::~Statistics().

SoPlex::Statistics & operator= ( const Statistics & rhs )

assignment operator

Definition at line 57 of file statistics.cpp.

References SoPlex::Statistics::boundflips, SoPlex::Statistics::feasRefinements, SoPlex::Statistics::iterations, SoPlex::Statistics::iterationsFromBasis, SoPlex::Statistics::iterationsPrimal, SoPlex::Statistics::luFactorizationsRational, SoPlex::Statistics::luFactorizationsReal, SoPlex::Statistics::luFactorizationTimeRational, SoPlex::Statistics::luFactorizationTimeReal, SoPlex::Statistics::luSolvesReal, SoPlex::Statistics::luSolveTimeRational, SoPlex::Statistics::luSolveTimeReal, SoPlex::Statistics::pivotRefinements, SoPlex::Statistics::preprocessingTime, SoPlex::Statistics::rationalReconstructions, SoPlex::Statistics::rationalTime, SoPlex::Statistics::readingTime, SoPlex::Statistics::reconstructionTime, SoPlex::Statistics::refinements, SoPlex::Statistics::simplexTime, SoPlex::Statistics::solvingTime, SoPlex::Statistics::stallRefinements, SoPlex::Statistics::syncTime, SoPlex::Statistics::timerType, SoPlex::Statistics::transformTime, and SoPlex::Statistics::unbdRefinements.

void print ( std::ostream & os )

prints statistics

Definition at line 126 of file statistics.cpp.

References SoPlex::Statistics::boundflips, SoPlex::Statistics::feasRefinements, SoPlex::Statistics::iterations, SoPlex::Statistics::iterationsFromBasis, SoPlex::Statistics::iterationsPrimal, SoPlex::Statistics::luFactorizationsRational, SoPlex::Statistics::luFactorizationsReal, SoPlex::Statistics::luFactorizationTimeRational, SoPlex::Statistics::luFactorizationTimeReal, SoPlex::Statistics::luSolvesReal, SoPlex::Statistics::luSolveTimeRational, SoPlex::Statistics::luSolveTimeReal, SoPlex::Statistics::pivotRefinements, SoPlex::Statistics::preprocessingTime, SoPlex::Statistics::rationalReconstructions, SoPlex::Statistics::rationalTime, SoPlex::Statistics::readingTime, SoPlex::Statistics::reconstructionTime, SoPlex::Statistics::refinements, SoPlex::Statistics::simplexTime, SoPlex::Statistics::solvingTime, SoPlex::Statistics::stallRefinements, SoPlex::Statistics::syncTime, Timer::time(), SoPlex::Statistics::transformTime, and SoPlex::Statistics::unbdRefinements.

Referenced by SoPlex::printSolvingStatistics(), and SoPlex::Statistics::~Statistics().

Member Data Documentation

int boundflips

number of dual bound flips

Definition at line 104 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

int feasRefinements

number of refinement steps during infeasibility test

Definition at line 112 of file statistics.h.

Referenced by SoPlex::_performFeasIRStable(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

int iterations

number of iterations/pivots

Definition at line 101 of file statistics.h.

Referenced by SoPlex::_isSolveStopped(), SoPlex::_performOptIRStable(), SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::numIterations(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), and SoPlex::printShortStatistics().

int iterationsFromBasis

number of iterations from Basis

Definition at line 103 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

int iterationsPrimal

number of iterations with Primal

Definition at line 102 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

int luFactorizationsRational

number of basis matrix factorizations in rational precision

Definition at line 107 of file statistics.h.

Referenced by SoPlex::_factorizeColumnRational(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

int luFactorizationsReal

number of basis matrix factorizations in real precision

Definition at line 105 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), and SoPlex::statisticString().

Real luFactorizationTimeRational

time for factorizing bases matrices in rational precision

Definition at line 99 of file statistics.h.

Referenced by SoPlex::_factorizeColumnRational(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

Real luFactorizationTimeReal

time for factorizing bases matrices in real precision

Definition at line 97 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), and SoPlex::statisticString().

int luSolvesReal

number of (forward and backward) solves with basis matrix in real precision

Definition at line 106 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), and SoPlex::statisticString().

Real luSolveTimeRational

time for solving linear systems in rational precision

Definition at line 100 of file statistics.h.

Referenced by SoPlex::_factorizeColumnRational(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

Real luSolveTimeReal

time for solving linear systems in real precision

Definition at line 98 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), and SoPlex::statisticString().

int pivotRefinements

number of refinement steps until final basis is reached

Definition at line 111 of file statistics.h.

Referenced by SoPlex::_performOptIRStable(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

Timer* preprocessingTime

preprocessing time

Definition at line 90 of file statistics.h.

Referenced by SoPlex::_preprocessAndSolveReal(), SoPlex::_solveRational(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

int rationalReconstructions

number of rational reconstructions performed

Definition at line 108 of file statistics.h.

Referenced by SoPlex::_reconstructSolutionRational(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

Timer* rationalTime

time for rational LP solving (included in solving time)

Definition at line 94 of file statistics.h.

Referenced by SoPlex::_factorizeColumnRational(), SoPlex::_performOptIRStable(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

Timer* readingTime

reading time not included in solving time

Definition at line 88 of file statistics.h.

Referenced by SoPlex::_readFileRational(), SoPlex::_readFileReal(), SoPlex::Statistics::clearAllData(), SoPlex::loadSettingsFile(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), SoPlex::readBasisFile(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

Timer* reconstructionTime

time for rational reconstructions

Definition at line 95 of file statistics.h.

Referenced by SoPlex::_reconstructSolutionRational(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

int refinements

number of refinement steps

Definition at line 109 of file statistics.h.

Referenced by SoPlex::_isSolveStopped(), SoPlex::_performFeasIRStable(), SoPlex::_performOptIRStable(), SoPlex::_performUnboundedIRStable(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

Timer* simplexTime

simplex time

Definition at line 91 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

Timer* solvingTime

solving time

Definition at line 89 of file statistics.h.

Referenced by SoPlex::_factorizeColumnRational(), SoPlex::_isSolveStopped(), SoPlex::_performOptIRStable(), SoPlex::_solveRational(), SoPlex::_solveReal(), SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), SoPlex::printShortStatistics(), SoPlex::solveTime(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

int stallRefinements

number of refinement steps without pivots

Definition at line 110 of file statistics.h.

Referenced by SoPlex::_isSolveStopped(), SoPlex::_performOptIRStable(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().

Timer* syncTime

time for synchronization between real and rational LP (included in solving time)

Definition at line 92 of file statistics.h.

Referenced by SoPlex::_solveRealForRational(), SoPlex::_syncLPRational(), SoPlex::_syncLPReal(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

Timer::TYPE timerType

type of timer (user or wallclock)

Definition at line 96 of file statistics.h.

Referenced by SoPlex::Statistics::operator=(), and SoPlex::Statistics::Statistics().

Timer* transformTime

time for transforming LPs (included in solving time)

Definition at line 93 of file statistics.h.

Referenced by SoPlex::_lift(), SoPlex::_project(), SoPlex::_transformEquality(), SoPlex::_transformFeasibility(), SoPlex::_transformUnbounded(), SoPlex::_untransformEquality(), SoPlex::_untransformFeasibility(), SoPlex::_untransformUnbounded(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), SoPlex::Statistics::print(), SoPlex::Statistics::Statistics(), and SoPlex::Statistics::~Statistics().

int unbdRefinements

number of refinement steps during undboundedness test

Definition at line 113 of file statistics.h.

Referenced by SoPlex::_performUnboundedIRStable(), SoPlex::Statistics::clearSolvingData(), SoPlex::Statistics::operator=(), and SoPlex::Statistics::print().