Scippy

SoPlex

Sequential object-oriented simPlex

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages

#include <statistics.h>

Public Member Functions

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

	Statistics (const Statistics &base)
	copy constructor

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

	~Statistics ()
	destructor

void	clearAllData ()
	clears all statistics

void	clearSolvingData ()
	clears statistics on solving process

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

Public Attributes

Timer *	readingTime
	reading time not included in solving time

Timer *	solvingTime
	solving time

Timer *	preprocessingTime
	preprocessing time

Timer *	simplexTime
	simplex time

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

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

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

Timer *	reconstructionTime
	time for rational reconstructions

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

Real	luFactorizationTimeReal
	time for factorizing bases matrices in real precision

Real	luSolveTimeReal
	time for solving linear systems in real precision

Real	luFactorizationTimeRational
	time for factorizing bases matrices in rational precision

Real	luSolveTimeRational
	time for solving linear systems in rational precision

int	iterations
	number of iterations/pivots

int	iterationsPrimal
	number of iterations with Primal

int	iterationsFromBasis
	number of iterations from Basis

int	boundflips
	number of dual bound flips

int	luFactorizationsReal
	number of basis matrix factorizations in real precision

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

int	luFactorizationsRational
	number of basis matrix factorizations in rational precision

int	rationalReconstructions
	number of rational reconstructions performed

int	refinements
	number of refinement steps

int	stallRefinements
	number of refinement steps without pivots

int	pivotRefinements
	number of refinement steps until final basis is reached

int	feasRefinements
	number of refinement steps during infeasibility test

int	unbdRefinements
	number of refinement steps during undboundedness test

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 TimerFactory::createTimer(), and SoPlex::Statistics::timerType.

~Statistics ( )

destructor

Definition at line 52 of file statistics.h.

References SoPlex::Statistics::preprocessingTime, 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.

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

void clearSolvingData ( )

clears statistics on solving process

Definition at line 97 of file statistics.cpp.

Referenced by SoPlex::solve().

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.

Referenced by SoPlex::printSolvingStatistics().

Member Data Documentation

int boundflips

number of dual bound flips

Definition at line 104 of file statistics.h.

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

int feasRefinements

number of refinement steps during infeasibility test

Definition at line 112 of file statistics.h.

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

int iterations

number of iterations/pivots

Definition at line 101 of file statistics.h.

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

int iterationsFromBasis

number of iterations from Basis

Definition at line 103 of file statistics.h.

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

int iterationsPrimal

number of iterations with Primal

Definition at line 102 of file statistics.h.

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

int luFactorizationsRational

number of basis matrix factorizations in rational precision

Definition at line 107 of file statistics.h.

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

int luFactorizationsReal

number of basis matrix factorizations in real precision

Definition at line 105 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::operator=(), 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(), and SoPlex::Statistics::operator=().

Real luFactorizationTimeReal

time for factorizing bases matrices in real precision

Definition at line 97 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::operator=(), 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::operator=(), 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(), and SoPlex::Statistics::operator=().

Real luSolveTimeReal

time for solving linear systems in real precision

Definition at line 98 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::operator=(), 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(), and SoPlex::Statistics::operator=().

Timer* preprocessingTime

preprocessing time

Definition at line 90 of file statistics.h.

Referenced by SoPlex::_preprocessAndSolveReal(), SoPlex::_solveRational(), SoPlex::Statistics::operator=(), 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(), and SoPlex::Statistics::operator=().

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::operator=(), 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::loadSettingsFile(), SoPlex::Statistics::operator=(), 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::operator=(), 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(), and SoPlex::Statistics::operator=().

Timer* simplexTime

simplex time

Definition at line 91 of file statistics.h.

Referenced by SoPlex::_solveRealLPAndRecordStatistics(), SoPlex::Statistics::operator=(), 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::operator=(), 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(), and SoPlex::Statistics::operator=().

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::operator=(), 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::operator=(), 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(), and SoPlex::Statistics::operator=().