lpi_spx2.cpp File Reference Detailed DescriptionLP interface for SoPlex version 2.0 and higher. This is an implementation of SCIP's LP interface for SoPlex using the extended and improved interface of SoPlex 2.0 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_spx2.cpp. #include "soplex.h" #include "spxgithash.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
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 30 of file lpi_spx2.cpp.
Value:
if( !x ) \ { \ SCIPmessagePrintWarning(_messagehdlr, "SoPlex: unsupported parameter value\n"); \ } Definition at line 68 of file lpi_spx2.cpp.
Definition at line 85 of file lpi_spx2.cpp. Referenced by SCIPlpiGetSolverName().
verbosity level for LPINFO Definition at line 102 of file lpi_spx2.cpp. Referenced by SCIPlpiCreate(), SCIPlpiEndStrongbranch(), and SCIPlpiGetCoef().
Definition at line 112 of file lpi_spx2.cpp. Referenced by 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(), SCIPlpiGetState(), SCIPlpiHasDualRay(), SCIPlpiHasPrimalRay(), SCIPlpiIgnoreInstability(), SCIPlpiIsDualFeasible(), SCIPlpiIsDualInfeasible(), SCIPlpiIsDualUnbounded(), SCIPlpiIsInfinity(), SCIPlpiIsIterlimExc(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalFeasible(), SCIPlpiIsPrimalInfeasible(), SCIPlpiIsPrimalUnbounded(), SCIPlpiIsStable(), SCIPlpiIsTimelimExc(), SCIPlpiLoadColLP(), SCIPlpiReadLP(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetBase(), SCIPlpiSetIntpar(), SCIPlpiSetNorms(), SCIPlpiSetRealpar(), SCIPlpiSetState(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchesInt(), SCIPlpiWasSolved(), and SCIPlpiWriteLP().
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 123 of file lpi_spx2.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 156 of file lpi_spx2.cpp.
Definition at line 685 of file lpi_spx2.cpp.
Definition at line 687 of file lpi_spx2.cpp. Typedef Documentation
Definition at line 684 of file lpi_spx2.cpp.
Definition at line 686 of file lpi_spx2.cpp. Function Documentation
gets name and version of LP solver Definition at line 907 of file lpi_spx2.cpp. References SCIPdebugMessage, SCIPlpiGetSolverDesc(), and SOPLEX_SUBVERSION.
gets description of LP solver (developer, webpage, ...) Definition at line 922 of file lpi_spx2.cpp. References SCIPlpiGetSolverPointer(). Referenced by SCIPlpiGetSolverName().
gets pointer for LP solver - use only with great care
Definition at line 935 of file lpi_spx2.cpp. References SCIPlpiCreate(). Referenced by SCIPlpiGetSolverDesc().
creates an LP problem object
Definition at line 954 of file lpi_spx2.cpp. References FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_LPPAR_PRICING, SCIP_OKAY, SCIP_PRICING_LPIDEFAULT, SCIPlpiChgObjsen(), SCIPlpiFree(), SCIPlpiSetIntpar(), SOPLEX_TRY, and SOPLEX_VERBLEVEL. Referenced by SCIPlpiGetSolverPointer().
deletes an LP problem object
Definition at line 1001 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, and SCIPlpiLoadColLP(). Referenced by SCIPlpiCreate().
copies LP data with column matrix into LP solver
Definition at line 1034 of file lpi_spx2.cpp. References NULL, SCIP_CALL, SCIP_LPERROR, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, SCIPlpiAddCols(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiFree().
adds columns to the LP
Definition at line 1095 of file lpi_spx2.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 1159 of file lpi_spx2.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 1181 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiAddRows(), and SOPLEX_TRY. Referenced by SCIPlpiDelCols().
adds rows to the LP
Definition at line 1212 of file lpi_spx2.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 1274 of file lpi_spx2.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 1296 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiClear(), and SOPLEX_TRY. Referenced by SCIPlpiDelRows().
clears the whole LP
Definition at line 1327 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgBounds(), and SOPLEX_TRY. Referenced by SCIPlpiDelRowset().
changes lower and upper bounds of columns
Definition at line 1345 of file lpi_spx2.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 1389 of file lpi_spx2.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgCoef(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiChgBounds().
changes a single coefficient
Definition at line 1433 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgObjsen(), and SOPLEX_TRY. Referenced by SCIPlpiChgSides().
changes the objective sense
Definition at line 1457 of file lpi_spx2.cpp. References NULL, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgObj(), and SOPLEX_TRY. Referenced by SCIPlpiChgCoef(), and SCIPlpiCreate().
changes objective values of columns in the LP
Definition at line 1477 of file lpi_spx2.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 1518 of file lpi_spx2.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 1585 of file lpi_spx2.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 1667 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetNCols(). Referenced by SCIPlpiScaleCol().
gets the number of columns in the LP
Definition at line 1684 of file lpi_spx2.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 1701 of file lpi_spx2.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 1734 of file lpi_spx2.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 1799 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetColNames(). Referenced by SCIPlpiGetCols().
gets column names
Definition at line 1861 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetRowNames(). Referenced by SCIPlpiGetRows().
gets row names
Definition at line 1887 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetObjsen(). Referenced by SCIPlpiGetColNames().
gets objective sense of the LP
Definition at line 1913 of file lpi_spx2.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 1930 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetBounds(). Referenced by SCIPlpiGetObjsen().
gets current bounds from LP problem object
Definition at line 1953 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetSides(). Referenced by SCIPlpiGetObj().
gets current row sides from LP problem object
Definition at line 1981 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetCoef(). Referenced by SCIPlpiGetBounds().
gets a single coefficient
Definition at line 2009 of file lpi_spx2.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiSolvePrimal(), SCIPmessagePrintWarning(), SOPLEX_VERBLEVEL, 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 2109 of file lpi_spx2.cpp. References NULL, 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 2123 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiSolveBarrier(). Referenced by SCIPlpiSolveBarrier(), and SCIPlpiSolvePrimal().
calls barrier or interior point algorithm to solve the LP with crossover to simplex basis
Definition at line 2137 of file lpi_spx2.cpp. References SCIPdebugMessage, SCIPlpiSolveDual(), and SCIPlpiStartStrongbranch(). Referenced by SCIPlpiSolveDual().
start strong branching - call before any strongbranching
Definition at line 2149 of file lpi_spx2.cpp. References SCIP_OKAY, and SCIPlpiEndStrongbranch(). Referenced by SCIPlpiSolveBarrier().
end strong branching - call after any strongbranching
Definition at line 2160 of file lpi_spx2.cpp. References EPSCEIL, EPSFLOOR, FALSE, NULL, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiStrongbranchFrac(), SOPLEX_VERBLEVEL, and TRUE. Referenced by SCIPlpiStartStrongbranch().
performs strong branching iterations on one fractional candidate
Definition at line 2404 of file lpi_spx2.cpp. References SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiStrongbranchesFrac(). Referenced by SCIPlpiEndStrongbranch().
performs strong branching iterations on given fractional candidates
Definition at line 2434 of file lpi_spx2.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 2478 of file lpi_spx2.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 2508 of file lpi_spx2.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 2564 of file lpi_spx2.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 2574 of file lpi_spx2.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 2595 of file lpi_spx2.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 2610 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsPrimalUnbounded(). Referenced by SCIPlpiExistsPrimalRay(). returns TRUE iff LP is proven to be primal unbounded
Definition at line 2623 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsPrimalInfeasible(). Referenced by SCIPlpiHasPrimalRay(). returns TRUE iff LP is proven to be primal infeasible
Definition at line 2641 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsPrimalFeasible(). Referenced by SCIPlpiIsPrimalUnbounded(). returns TRUE iff LP is proven to be primal feasible
Definition at line 2654 of file lpi_spx2.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 2678 of file lpi_spx2.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 2693 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsDualUnbounded(). Referenced by SCIPlpiExistsDualRay(). returns TRUE iff LP is dual unbounded
Definition at line 2706 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsDualInfeasible(). Referenced by SCIPlpiHasDualRay(). returns TRUE iff LP is dual infeasible
Definition at line 2719 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsDualFeasible(). Referenced by SCIPlpiIsDualUnbounded(). returns TRUE iff LP is proven to be dual feasible
Definition at line 2732 of file lpi_spx2.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 2750 of file lpi_spx2.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 2767 of file lpi_spx2.cpp. References FALSE, NULL, SCIP_Bool, SCIP_INVALID, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), and TRUE. Referenced by SCIPlpiIsOptimal(). returns TRUE iff the objective limit was reached
Definition at line 2802 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsIterlimExc(). Referenced by SCIPlpiIsStable(). returns TRUE iff the iteration limit was reached
Definition at line 2815 of file lpi_spx2.cpp. References NULL, SCIP_Bool, SCIPdebugMessage, and SCIPlpiIsTimelimExc(). Referenced by SCIPlpiIsObjlimExc(). returns TRUE iff the time limit was reached
Definition at line 2828 of file lpi_spx2.cpp. References NULL, SCIPdebugMessage, and SCIPlpiGetInternalStatus(). Referenced by SCIPlpiIsIterlimExc().
returns the internal solution status of the solver
Definition at line 2841 of file lpi_spx2.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 2854 of file lpi_spx2.cpp. References FALSE, NULL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, and SCIPlpiGetObjval(). Referenced by SCIPlpiGetInternalStatus().
gets objective value of solution
Definition at line 2871 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, and SCIPlpiGetSol(). Referenced by SCIPlpiIgnoreInstability().
gets primal and dual solution vectors
Definition at line 2888 of file lpi_spx2.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 2941 of file lpi_spx2.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, 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 2969 of file lpi_spx2.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 2997 of file lpi_spx2.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 3017 of file lpi_spx2.cpp. References NULL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, and SCIPlpiGetBase(). 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 3073 of file lpi_spx2.cpp. References NULL, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, 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 3162 of file lpi_spx2.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 3248 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetBInvRow(). Referenced by SCIPlpiSetBase().
get dense row of inverse basis matrix B^-1
Definition at line 3272 of file lpi_spx2.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetBInvCol(). Referenced by SCIPlpiGetBasisInd(), and SCIPlpiGetBInvARow().
get dense column of inverse basis matrix B^-1
Definition at line 3302 of file lpi_spx2.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetBInvARow(). Referenced by SCIPlpiGetBInvRow().
get dense row of inverse basis matrix times constraint matrix B^-1 * A
Definition at line 3333 of file lpi_spx2.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 3393 of file lpi_spx2.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetState(). Referenced by SCIPlpiGetBInvARow().
stores LPi state (like basis information) into lpistate object
Definition at line 3444 of file lpi_spx2.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 3488 of file lpi_spx2.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 3547 of file lpi_spx2.cpp. References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiFreeState(), and SCIPmessagePrintWarning(). Referenced by SCIPlpiSetState().
frees LPi state information
Definition at line 3574 of file lpi_spx2.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 3592 of file lpi_spx2.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 3601 of file lpi_spx2.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 3617 of file lpi_spx2.cpp. References SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNorms(), and SOPLEX_TRY. Referenced by SCIPlpiReadState().
stores LPi pricing norms information
Definition at line 3650 of file lpi_spx2.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 3705 of file lpi_spx2.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 3736 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetIntpar(). Referenced by SCIPlpiSetNorms().
gets integer parameter of LP
Definition at line 3769 of file lpi_spx2.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 3814 of file lpi_spx2.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 3888 of file lpi_spx2.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, SCIPlpiInfinity(), and SCIPlpiSetRealpar(). Referenced by SCIPlpiSetIntpar().
sets floating point parameter of LP
Definition at line 3933 of file lpi_spx2.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 3992 of file lpi_spx2.cpp. References SCIP_Bool, SCIP_Real, SCIPdebugMessage, and SCIPlpiIsInfinity(). Referenced by SCIPlpiGetRealpar(), and SCIPlpiSetRealpar(). checks if given value is treated as infinity in the LP solver
Definition at line 4002 of file lpi_spx2.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 4042 of file lpi_spx2.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 4076 of file lpi_spx2.cpp. References NULL, SCIP_OKAY, SCIP_WRITEERROR, SCIPdebugMessage, and SCIPmessagePrintWarning(). Referenced by SCIPlpiReadLP(). |