lpi_spx.cpp File Reference Detailed DescriptionLP interface for SoPlex version 1.4 and higher. This is an implementation of SCIP's LP interface for SoPlex. While the ratio test is fixed to SoPlex's standard, different pricing methods can be chosen and an autopricing strategy (start with devex and switch to steepest edge after too many iterations) is implemented directly. Scaler and simplifier may be applied if solving from scratch. For debugging purposes, the SoPlex results can be double checked with CPLEX if WITH_LPSCHECK is defined. This may yield false positives, since the LP is dumped to a file for transfering it to CPLEX, hence, precision may be lost. Definition in file lpi_spx.cpp. #include "spxsolver.h" #include "slufactor.h" #include "spxsteeppr.h" #include "spxparmultpr.h" #include "spxdevexpr.h" #include "spxfastrt.h" #include "spxmainsm.h" #include "spxequilisc.h" #include "spxboundflippingrt.h" #include "scip/pub_message.h" #include <cassert> #include "lpi/lpi.h" #include "scip/bitencode.h" Go to the source code of this file.
Macro Definition Documentation
start with devex and switch to steepest edge after this many iterations Definition at line 34 of file lpi_spx.cpp.
if defined then in SCIPlpiStrongbranch() we restore the basis after the down branch and after the up branch; if false only after the end of a strong branching phase, which however seems to mostly increase strong branching time and iterations Definition at line 35 of file lpi_spx.cpp.
Definition at line 83 of file lpi_spx.cpp. Referenced by SCIPlpiGetSolverName().
Definition at line 108 of file lpi_spx.cpp.
verbosity level for LPINFO Definition at line 120 of file lpi_spx.cpp.
Definition at line 130 of file lpi_spx.cpp. Referenced by atomic_userexpr< Type >::atomic_userexpr(), evalAbs(), operator<<(), scip::ObjBranchrule::SCIP_DECL_BRANCHEXECEXT(), scip::ObjBranchrule::SCIP_DECL_BRANCHEXECLP(), scip::ObjBranchrule::SCIP_DECL_BRANCHEXECPS(), scip::ObjConshdlr::SCIP_DECL_CONSPRESOL(), scip::ObjConshdlr::SCIP_DECL_CONSPRINT(), scip::ObjConshdlr::SCIP_DECL_CONSPROP(), scip::ObjConshdlr::SCIP_DECL_CONSRESPROP(), scip::ObjConshdlr::SCIP_DECL_CONSSEPALP(), scip::ObjConshdlr::SCIP_DECL_CONSSEPASOL(), scip::ObjProp::SCIP_DECL_PROPPRESOL(), scip::ObjProp::SCIP_DECL_PROPRESPROP(), scip::ObjReader::SCIP_DECL_READERREAD(), scip::ObjReader::SCIP_DECL_READERWRITE(), scip::ObjSepa::SCIP_DECL_SEPAEXECLP(), scip::ObjSepa::SCIP_DECL_SEPAEXECSOL(), scip::ObjProbData::scip_trans(), scip::ObjVardata::scip_trans(), SCIPexprintCompile(), SCIPexprintCreate(), SCIPexprintEval(), SCIPexprintEvalInt(), SCIPexprintFree(), SCIPexprintFreeData(), SCIPexprintGetExprtreeCapability(), SCIPexprintGrad(), SCIPexprintGradInt(), SCIPexprintHessianDense(), SCIPexprintHessianSparsityDense(), SCIPexprintNewParametrization(), SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObj(), SCIPlpiChgObjsen(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiClearState(), SCIPlpiCreate(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiEndStrongbranch(), SCIPlpiExistsDualRay(), SCIPlpiExistsPrimalRay(), SCIPlpiFree(), SCIPlpiFreeNorms(), SCIPlpiFreeState(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiGetBounds(), SCIPlpiGetCoef(), SCIPlpiGetColNames(), SCIPlpiGetCols(), SCIPlpiGetDualfarkas(), SCIPlpiGetInternalStatus(), SCIPlpiGetIntpar(), SCIPlpiGetIterations(), SCIPlpiGetNCols(), SCIPlpiGetNNonz(), SCIPlpiGetNorms(), SCIPlpiGetNRows(), SCIPlpiGetObj(), SCIPlpiGetObjsen(), SCIPlpiGetObjval(), SCIPlpiGetPrimalRay(), SCIPlpiGetRealpar(), SCIPlpiGetRealSolQuality(), SCIPlpiGetRowNames(), SCIPlpiGetRows(), SCIPlpiGetSides(), SCIPlpiGetSol(), SCIPlpiGetSolFeasibility(), SCIPlpiGetSolverPointer(), SCIPlpiGetState(), SCIPlpiHasDualRay(), SCIPlpiHasPrimalRay(), SCIPlpiHasStateBasis(), SCIPlpiIgnoreInstability(), SCIPlpiInfinity(), SCIPlpiIsDualFeasible(), SCIPlpiIsDualInfeasible(), SCIPlpiIsDualUnbounded(), SCIPlpiIsInfinity(), SCIPlpiIsIterlimExc(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalFeasible(), SCIPlpiIsPrimalInfeasible(), SCIPlpiIsPrimalUnbounded(), SCIPlpiIsStable(), SCIPlpiIsTimelimExc(), SCIPlpiLoadColLP(), SCIPlpiReadLP(), SCIPlpiReadState(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetBase(), SCIPlpiSetIntpar(), SCIPlpiSetNorms(), SCIPlpiSetRealpar(), SCIPlpiSetState(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPlpiStartStrongbranch(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchesInt(), SCIPlpiStrongbranchFrac(), SCIPlpiStrongbranchInt(), SCIPlpiWasSolved(), SCIPlpiWriteLP(), and SCIPlpiWriteState().
Value:
do \ { \ try \ { \ (x); \ } \ catch( const SPxException& E ) \ { \ std::string s = E.what(); \ SCIPmessagePrintWarning((messagehdlr), "SoPlex threw an exception: %s\n", s.c_str()); \ return SCIP_LPERROR; \ } \ } \ while( FALSE )
Definition: type_retcode.h:40 Macro for a single SoPlex call for which exceptions have to be catched - return an LP error. We make no distinction between different exception types, e.g., between memory allocation and other exceptions. Definition at line 141 of file lpi_spx.cpp. Referenced by SCIPlpiChgCoef(), SCIPlpiChgObjsen(), SCIPlpiClear(), SCIPlpiCreate(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiReadState(), SCIPlpiSetBase(), and SCIPlpiWriteState().
Value:
do \ { \ try \ { \ (x); \ } \ catch( const SPxException& E ) \ { \ std::string s = E.what(); \ SCIPerrorMessage("SoPlex threw an exception: %s\n", s.c_str()); \ abort(); \ } \ } \ while( FALSE )
Definition at line 174 of file lpi_spx.cpp.
Definition at line 1337 of file lpi_spx.cpp.
Definition at line 1339 of file lpi_spx.cpp. Typedef Documentation
Definition at line 1336 of file lpi_spx.cpp.
Definition at line 1338 of file lpi_spx.cpp. Function Documentation
gets name and version of LP solver Definition at line 1583 of file lpi_spx.cpp. References SCIPdebugMessage, SCIPlpiGetSolverDesc(), and SOPLEX_SUBVERSION.
gets description of LP solver (developer, webpage, ...) Definition at line 1598 of file lpi_spx.cpp. References SCIPlpiGetSolverPointer(). Referenced by SCIPlpiGetSolverName().
gets pointer for LP solver - use only with great care
Definition at line 1613 of file lpi_spx.cpp. References SCIPlpiCreate(). Referenced by SCIPlpiGetSolverDesc().
creates an LP problem object
Definition at line 1632 of file lpi_spx.cpp. References FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_LPPAR_PRICING, SCIP_OKAY, SCIP_PRICING_LPIDEFAULT, SCIPlpiChgObjsen(), SCIPlpiFree(), SCIPlpiInfinity(), SCIPlpiSetIntpar(), and SOPLEX_TRY. Referenced by SCIPlpiGetSolverPointer().
deletes an LP problem object
Definition at line 1670 of file lpi_spx.cpp. References NULL, SCIP_OKAY, and SCIPlpiLoadColLP(). Referenced by SCIPlpiCreate().
copies LP data with column matrix into LP solver
Definition at line 1703 of file lpi_spx.cpp. References NULL, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiAddCols(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiFree().
adds columns to the LP
Definition at line 1764 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelCols(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiLoadColLP().
deletes all columns in the given range from LP
Definition at line 1828 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelColset(), and SOPLEX_TRY. Referenced by SCIPlpiAddCols().
deletes columns from SCIP_LP; the new position of a column must not be greater that its old position
Definition at line 1850 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiAddRows(), and SOPLEX_TRY. Referenced by SCIPlpiDelCols().
adds rows to the LP
Definition at line 1881 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelRows(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiDelColset().
deletes all rows in the given range from LP
Definition at line 1943 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelRowset(), and SOPLEX_TRY. Referenced by SCIPlpiAddRows().
deletes rows from SCIP_LP; the new position of a row must not be greater that its old position
Definition at line 1965 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiClear(), and SOPLEX_TRY. Referenced by SCIPlpiDelRows().
clears the whole LP
Definition at line 1996 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgBounds(), and SOPLEX_TRY. Referenced by SCIPlpiDelRowset().
changes lower and upper bounds of columns
Definition at line 2014 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgSides(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiClear().
changes left and right hand sides of rows
Definition at line 2058 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgCoef(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiChgBounds().
changes a single coefficient
Definition at line 2102 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgObjsen(), and SOPLEX_TRY. Referenced by SCIPlpiChgSides().
changes the objective sense
Definition at line 2126 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgObj(), and SOPLEX_TRY. Referenced by SCIPlpiChgCoef(), and SCIPlpiCreate().
changes objective values of columns in the LP
Definition at line 2146 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiScaleRow(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiChgObjsen().
multiplies a row with a non-zero scalar; for negative scalars, the row's sense is switched accordingly
Definition at line 2187 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiScaleCol(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiChgObj().
multiplies a column with a non-zero scalar; the objective value is multiplied with the scalar, and the bounds are divided by the scalar; for negative scalars, the column's bounds are switched
Definition at line 2254 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetNRows(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiScaleRow().
gets the number of rows in the LP
Definition at line 2336 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetNCols(). Referenced by SCIPlpiScaleCol().
gets the number of columns in the LP
Definition at line 2353 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetNNonz(). Referenced by SCIPlpiGetNRows().
gets the number of nonzero elements in the LP constraint matrix
Definition at line 2370 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetCols(). Referenced by SCIPlpiGetNCols().
gets columns from LP problem object; the arrays have to be large enough to store all values Either both, lb and ub, have to be NULL, or both have to be non-NULL, either nnonz, beg, ind, and val have to be NULL, or all of them have to be non-NULL.
Definition at line 2403 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetRows(). Referenced by SCIPlpiGetNNonz().
gets rows from LP problem object; the arrays have to be large enough to store all values. Either both, lhs and rhs, have to be NULL, or both have to be non-NULL, either nnonz, beg, ind, and val have to be NULL, or all of them have to be non-NULL.
Definition at line 2468 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetColNames(). Referenced by SCIPlpiGetCols().
gets column names
Definition at line 2530 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetRowNames(). Referenced by SCIPlpiGetRows().
gets row names
Definition at line 2556 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetObjsen(). Referenced by SCIPlpiGetColNames().
gets objective sense of the LP
Definition at line 2582 of file lpi_spx.cpp. References NULL, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetObj(). Referenced by SCIPlpiGetRowNames().
gets objective coefficients from LP problem object
Definition at line 2599 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetBounds(). Referenced by SCIPlpiGetObjsen().
gets current bounds from LP problem object
Definition at line 2622 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetSides(). Referenced by SCIPlpiGetObj().
gets current row sides from LP problem object
Definition at line 2650 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetCoef(). Referenced by SCIPlpiGetBounds().
gets a single coefficient
Definition at line 2678 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiSolvePrimal(), and TRUE. Referenced by SCIPlpiGetSides().
calls primal simplex to solve the LP startFinishOptions - bits 1 - do not delete work areas and factorization at end 2 - use old factorization if same number of rows 4 - skip as much initialization of work areas as possible (work in progress) 4 does not seem to work. Primal algorithm
Definition at line 2760 of file lpi_spx.cpp. References FALSE, NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiSolveDual(). Referenced by SCIPlpiGetCoef().
calls dual simplex to solve the LP startFinishOptions - bits 1 - do not delete work areas and factorization at end 2 - use old factorization if same number of rows 4 - skip as much initialization of work areas as possible (work in progress) 4 does not seem to work. Dual algorithm
Definition at line 2804 of file lpi_spx.cpp. References FALSE, NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiSolveBarrier(). Referenced by SCIPlpiSolvePrimal().
calls barrier or interior point algorithm to solve the LP with crossover to simplex basis
Definition at line 2848 of file lpi_spx.cpp. References SCIP_INVALIDCALL, SCIPdebugMessage, SCIPerrorMessage, and SCIPlpiStartStrongbranch(). Referenced by SCIPlpiSolveDual().
start strong branching - call before any strongbranching
Definition at line 2861 of file lpi_spx.cpp. References SCIP_OKAY, and SCIPlpiEndStrongbranch(). Referenced by SCIPlpiSolveBarrier().
end strong branching - call after any strongbranching
Definition at line 2872 of file lpi_spx.cpp. References EPSCEIL, EPSFLOOR, FALSE, NULL, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiStrongbranchFrac(), and TRUE. Referenced by SCIPlpiStartStrongbranch().
performs strong branching iterations on one fractional candidate
Definition at line 3105 of file lpi_spx.cpp. References SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiStrongbranchesFrac(). Referenced by SCIPlpiEndStrongbranch().
performs strong branching iterations on given fractional candidates
Definition at line 3135 of file lpi_spx.cpp. References NULL, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiStrongbranchInt(). Referenced by SCIPlpiStrongbranchFrac().
performs strong branching iterations on one candidate with integral value
Definition at line 3179 of file lpi_spx.cpp. References SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiStrongbranchesInt(). Referenced by SCIPlpiStrongbranchesFrac().
performs strong branching iterations on given candidates with integral values
Definition at line 3209 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiWasSolved(). Referenced by SCIPlpiStrongbranchInt(). returns whether a solve method was called after the last modification of the LP
Definition at line 3265 of file lpi_spx.cpp. References NULL, SCIP_Bool, and SCIPlpiGetSolFeasibility(). Referenced by SCIPlpiStrongbranchesInt().
gets information about primal and dual feasibility of the current LP solution
Definition at line 3275 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIP_OKAY, SCIPdebugMessage, SCIPlpiExistsPrimalRay(), SCIPlpiIsDualFeasible(), and SCIPlpiIsPrimalFeasible(). Referenced by SCIPlpiWasSolved(). returns TRUE iff LP is proven to have a primal unbounded ray (but not necessary a primal feasible point); this does not necessarily mean, that the solver knows and can return the primal ray
Definition at line 3296 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiHasPrimalRay(). Referenced by SCIPlpiGetSolFeasibility(). returns TRUE iff LP is proven to have a primal unbounded ray (but not necessary a primal feasible point), and the solver knows and can return the primal ray
Definition at line 3311 of file lpi_spx.cpp. References FALSE, NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsPrimalUnbounded(). Referenced by SCIPlpiExistsPrimalRay(). returns TRUE iff LP is proven to be primal unbounded
Definition at line 3328 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsPrimalInfeasible(). Referenced by SCIPlpiHasPrimalRay(). returns TRUE iff LP is proven to be primal infeasible
Definition at line 3346 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsPrimalFeasible(). Referenced by SCIPlpiIsPrimalUnbounded(). returns TRUE iff LP is proven to be primal feasible
Definition at line 3359 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiExistsDualRay(). Referenced by SCIPlpiGetSolFeasibility(), SCIPlpiIsOptimal(), and SCIPlpiIsPrimalInfeasible(). returns TRUE iff LP is proven to have a dual unbounded ray (but not necessary a dual feasible point); this does not necessarily mean, that the solver knows and can return the dual ray
Definition at line 3384 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiHasDualRay(). Referenced by SCIPlpiIsPrimalFeasible(). returns TRUE iff LP is proven to have a dual unbounded ray (but not necessary a dual feasible point), and the solver knows and can return the dual ray
Definition at line 3399 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsDualUnbounded(). Referenced by SCIPlpiExistsDualRay(). returns TRUE iff LP is dual unbounded
Definition at line 3412 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsDualInfeasible(). Referenced by SCIPlpiHasDualRay(). returns TRUE iff LP is dual infeasible
Definition at line 3426 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsDualFeasible(). Referenced by SCIPlpiIsDualUnbounded(). returns TRUE iff LP is proven to be dual feasible
Definition at line 3439 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsOptimal(). Referenced by SCIPlpiGetSolFeasibility(), SCIPlpiIsDualInfeasible(), and SCIPlpiIsOptimal(). returns TRUE iff LP was solved to optimality
Definition at line 3458 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsPrimalFeasible(), and SCIPlpiIsStable(). Referenced by SCIPlpiIsDualFeasible(), and SCIPlpiIsStable(). returns TRUE iff current LP basis is stable
Definition at line 3475 of file lpi_spx.cpp. References FALSE, NULL, SCIP_Bool, SCIP_INVALID, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), SCIPlpiIsObjlimExc(), and SCIPlpiIsOptimal(). Referenced by SCIPlpiIsOptimal(). returns TRUE iff the objective limit was reached
Definition at line 3511 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsIterlimExc(). Referenced by SCIPlpiIsStable(). returns TRUE iff the iteration limit was reached
Definition at line 3524 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsTimelimExc(). Referenced by SCIPlpiIsObjlimExc(). returns TRUE iff the time limit was reached
Definition at line 3537 of file lpi_spx.cpp. References NULL, SCIPdebugMessage, and SCIPlpiGetInternalStatus(). Referenced by SCIPlpiIsIterlimExc().
returns the internal solution status of the solver
Definition at line 3550 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIgnoreInstability(). Referenced by SCIPlpiIsTimelimExc().
tries to reset the internal status of the LP solver in order to ignore an instability of the last solving call
Definition at line 3563 of file lpi_spx.cpp. References FALSE, NULL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, and SCIPlpiGetObjval(). Referenced by SCIPlpiGetInternalStatus().
gets objective value of solution
Definition at line 3580 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, and SCIPlpiGetSol(). Referenced by SCIPlpiIgnoreInstability().
gets primal and dual solution vectors
Definition at line 3597 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetPrimalRay(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiGetObjval().
gets primal ray for unbounded LPs Unbounded ray (NULL returned if none/wrong). Up to user to use delete [] on these arrays.
Definition at line 3650 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetDualfarkas(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiGetSol().
gets dual farkas proof for infeasibility Infeasibility ray (NULL returned if none/wrong). Up to user to use delete [] on these arrays.
Definition at line 3683 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetIterations(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiGetPrimalRay().
gets the number of LP iterations of the last solve call
Definition at line 3711 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetRealSolQuality(). Referenced by SCIPlpiGetDualfarkas().
gets information about the quality of an LP solution Such information is usually only available, if also a (maybe not optimal) solution is available. The LPI should return SCIP_INVALID for
Definition at line 3731 of file lpi_spx.cpp. References NULL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBase(), and sign(). Referenced by SCIPlpiGetIterations(), and SCIPlpiIsStable().
gets current basis status for columns and rows; arrays must be large enough to store the basis status
Definition at line 3844 of file lpi_spx.cpp. References NULL, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, and SCIPlpiSetBase(). Referenced by SCIPlpiGetRealSolQuality(), and SCIPlpiGetState().
sets current basis status for columns and rows Whats changed since last solve. Is only used when startFinishOptions used in dual or primal. Bit 1 - number of rows/columns has not changed (so work arrays valid) 2 - matrix has not changed 4 - if matrix has changed only by adding rows 8 - if matrix has changed only by adding columns 16 - row lbs not changed 32 - row ubs not changed 64 - column objective not changed 128 - column lbs not changed 256 - column ubs not changed 512 - basis not changed (up to user to set this to 0) top bits may be used internally
Definition at line 3931 of file lpi_spx.cpp. References NULL, SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBasisInd(), and SOPLEX_TRY. Referenced by SCIPlpiGetBase(), and SCIPlpiSetState().
returns the indices of the basic columns and rows; basic column n gives value n, basic row m gives value -1-m
Definition at line 4020 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetBInvRow(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiGetBInvRow(), and SCIPlpiSetBase().
get dense row of inverse basis matrix B^-1
Definition at line 4151 of file lpi_spx.cpp. References NULL, SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetBasisInd(), SCIPlpiGetBInvCol(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiGetBasisInd(), and SCIPlpiGetBInvARow().
get dense column of inverse basis matrix B^-1
Definition at line 4440 of file lpi_spx.cpp. References NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetBInvARow(). Referenced by SCIPlpiGetBInvRow().
get dense row of inverse basis matrix times constraint matrix B^-1 * A
Definition at line 4484 of file lpi_spx.cpp. References NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetBInvACol(), and SCIPlpiGetBInvRow(). Referenced by SCIPlpiGetBInvCol().
get dense column of inverse basis matrix times constraint matrix B^-1 * A
Definition at line 4543 of file lpi_spx.cpp. References NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetState(). Referenced by SCIPlpiGetBInvARow().
stores LPi state (like basis information) into lpistate object
Definition at line 4591 of file lpi_spx.cpp. References NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetBase(), and SCIPlpiSetState(). Referenced by SCIPlpiGetBInvACol().
loads LPi state (like basis information) into solver; note that the LP might have been extended with additional columns and rows since the state was stored with SCIPlpiGetState()
Definition at line 4635 of file lpi_spx.cpp. References NULL, REALABS, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiClearState(), SCIPlpiIsInfinity(), and SCIPlpiSetBase(). Referenced by SCIPlpiGetState().
clears current LPi state (like basis information) of the solver
Definition at line 4691 of file lpi_spx.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiFreeState(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiSetState().
frees LPi state information
Definition at line 4718 of file lpi_spx.cpp. References NULL, SCIP_Bool, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiHasStateBasis(). Referenced by SCIPlpiClearState().
checks, whether the given LP state contains simplex basis information
Definition at line 4736 of file lpi_spx.cpp. References SCIPlpiReadState(), and TRUE. Referenced by SCIPlpiFreeState().
reads LP state (like basis information from a file Read a basis from the given filename, returns -1 on file error, 0 if no values, 1 if values
Definition at line 4745 of file lpi_spx.cpp. References SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiWriteState(), and SOPLEX_TRY. Referenced by SCIPlpiHasStateBasis().
writes LP state (like basis information) to a file Write the basis in MPS format to the specified file. If writeValues true, writes values of structurals (and adds VALUES to end of NAME card) parameters:
Definition at line 4761 of file lpi_spx.cpp. References SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNorms(), and SOPLEX_TRY. Referenced by SCIPlpiReadState().
stores LPi pricing norms information
Definition at line 4794 of file lpi_spx.cpp. References NULL, SCIP_ALLOC, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiSetNorms(). Referenced by SCIPlpiWriteState().
loads LPi pricing norms into solver; note that the LP might have been extended with additional columns and rows since the state was stored with SCIPlpiGetNorms()
Definition at line 4849 of file lpi_spx.cpp. References SCIP_LPiNorms::ncols, SCIP_LPiNorms::norms, SCIP_LPiNorms::nrows, NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiFreeNorms(). Referenced by SCIPlpiGetNorms().
frees pricing norms information
Definition at line 4881 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetIntpar(). Referenced by SCIPlpiSetNorms().
gets integer parameter of LP
Definition at line 4914 of file lpi_spx.cpp. References NULL, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_LPPAR_TIMING, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIPdebugMessage, and SCIPlpiSetIntpar(). Referenced by SCIPlpiFreeNorms().
sets integer parameter of LP Amount of print out: 0 - none 1 - just final 2 - just factorizations 3 - as 2 plus a bit more 4 - verbose above that 8,16,32 etc just for selective SCIPdebug
Definition at line 4959 of file lpi_spx.cpp. References FALSE, NULL, SCIP_LPERROR, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_LPPAR_TIMING, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIP_PRICING_AUTO, SCIP_PRICING_DEVEX, SCIP_PRICING_FULL, SCIP_PRICING_LPIDEFAULT, SCIP_PRICING_PARTIAL, SCIP_PRICING_STEEP, SCIP_PRICING_STEEPQSTART, SCIPdebugMessage, SCIPlpiGetRealpar(), and TRUE. Referenced by SCIPlpiCreate(), and SCIPlpiGetIntpar().
gets floating point parameter of LP
Definition at line 5033 of file lpi_spx.cpp. References NULL, SCIP_LPPAR_CONDITIONLIMIT, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LOBJLIM, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_ROWREPSWITCH, SCIP_LPPAR_UOBJLIM, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIPdebugMessage, and SCIPlpiSetRealpar(). Referenced by SCIPlpiSetIntpar().
sets floating point parameter of LP
Definition at line 5078 of file lpi_spx.cpp. References NULL, SCIP_LPPAR_CONDITIONLIMIT, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LOBJLIM, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_ROWREPSWITCH, SCIP_LPPAR_UOBJLIM, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIP_Real, SCIPdebugMessage, and SCIPlpiInfinity(). Referenced by SCIPlpiGetRealpar(). returns value treated as infinity in the LP solver Definition at line 5136 of file lpi_spx.cpp. References SCIP_Bool, SCIP_Real, SCIPdebugMessage, and SCIPlpiIsInfinity(). Referenced by SCIPlpiCreate(), and SCIPlpiSetRealpar(). checks if given value is treated as infinity in the LP solver
Definition at line 5146 of file lpi_spx.cpp. References FALSE, NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiReadLP(), and TRUE. Referenced by SCIPlpiInfinity(), and SCIPlpiSetState().
reads LP from a file read file in MPS format parameters: filename bool keepNames bool ignoreErrors
Definition at line 5186 of file lpi_spx.cpp. References NULL, SCIP_NOFILE, SCIP_OKAY, SCIP_READERROR, SCIPdebugMessage, SCIPlpiWriteLP(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiIsInfinity().
writes LP to a file write file in MPS format parameters: filename int formatType (0 - normal, 1 - extra accuracy, 2 - IEEE hex) int numberAcross (1 or 2 values should be specified on every data line in the MPS file) double objSense
Definition at line 5219 of file lpi_spx.cpp. References NULL, SCIP_OKAY, SCIP_WRITEERROR, SCIPdebugMessage, and SCIPmessagePrintWarning(). Referenced by SCIPlpiReadLP(). |