All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
Detailed DescriptionLP interface for QSopt version >= 070303. Definition in file lpi_qso.c. #include "qsopt.h" #include "scip/bitencode.h" #include "lpi/lpi.h" #include "scip/pub_message.h" #include "scip/pub_misc.h" #include <string.h> Go to the source code of this file.
Macro Definition Documentation
Value:
do{{ \
if (A){ \
fprintf(stderr,__VA_ARGS__); \
__QS_PRINTLOC__; \
goto B;}}}while(0)
This macro is to print error messages and jump to the given point in the code, it also print the file and line where this happened Definition at line 72 of file lpi_qso.c. Referenced by SCIPlpiGetCols(), SCIPlpiGetRows(), SCIPlpiGetSides(), SCIPlpiScaleCol(), and SCIPlpiScaleRow().
Value:
do{{ \
if (A){ \
fprintf(stderr,__VA_ARGS__); \
__QS_PRINTLOC__; \
return SCIP_LPERROR;}}}while(0)
Definition: type_retcode.h:40 This macro is to print error messages and to exit with SCIP_LPERROR Definition at line 79 of file lpi_qso.c. Referenced by SCIPlpiAddRows(), SCIPlpiGetColNames(), SCIPlpiGetRowNames(), and SCIPlpiWriteState().
Value:
do{ \
const int __RVAL__ = (A); \
if (__RVAL__){ \
fprintf(stderr,"LP Error: QSopt returned %d",__RVAL__); \
__QS_PRINTLOC__; \
return SCIP_ERROR;} \
return SCIP_OKAY;}while(0)
Definition: type_retcode.h:33 Definition: type_retcode.h:34 return value macro, if the value is non-zero, write to standard error the returning code and where this happened, and return SCIP_ERROR, otherwise return normal SCIP_OKAY termination code. Definition at line 87 of file lpi_qso.c. Referenced by SCIPlpiAddCols(), SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiDelCols(), SCIPlpiDelRows(), SCIPlpiGetBInvRow(), SCIPlpiGetBounds(), SCIPlpiGetCoef(), SCIPlpiGetCols(), SCIPlpiGetDualfarkas(), SCIPlpiGetIntpar(), SCIPlpiGetObj(), SCIPlpiGetObjval(), SCIPlpiGetRealpar(), SCIPlpiGetRows(), SCIPlpiGetSides(), SCIPlpiLoadColLP(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetBase(), SCIPlpiSetIntpar(), SCIPlpiSetRealpar(), SCIPlpiSetState(), SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().
Value:
do{ \
const int __RVAL__ = (A); \
if (__RVAL__){ \
fprintf(stderr,"LP Error: QSopt returned %d",__RVAL__); \
__QS_PRINTLOC__; \
return SCIP_LPERROR;} \
}while(0)
Definition: type_retcode.h:40 return value macro, if the value is non-zero, write to standard error the returning code and where this happened, and return SCIP_ERROR, otherwise do nothing. Definition at line 97 of file lpi_qso.c. Referenced by SCIPlpiChgBounds(), SCIPlpiChgObj(), SCIPlpiChgObjsen(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiDelColset(), SCIPlpiDelRowset(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvARow(), SCIPlpiGetIterations(), SCIPlpiGetSol(), SCIPlpiLoadColLP(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchesInt(), SCIPlpiStrongbranchFrac(), and SCIPlpiStrongbranchInt(). Typedef Documentation
Function Documentation
creates an LP problem object
Definition at line 374 of file lpi_qso.c. References NULL, SCIP_ALLOC, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, and SCIPerrorMessage.
deletes an LP problem object
Definition at line 420 of file lpi_qso.c. References NULL, SCIP_OKAY, and SCIPdebugMessage.
copies LP data with column matrix into LP solver
Definition at line 460 of file lpi_qso.c. References NULL, QS_CONDRET, QS_RETURN, SCIP_CALL, SCIP_OBJSEN_MAXIMIZE, SCIP_Real, SCIPdebugMessage, and SCIPlpiClear().
adds columns to the LP
Definition at line 536 of file lpi_qso.c. References NULL, QS_RETURN, SCIP_CALL, SCIP_Real, and SCIPdebugMessage.
deletes columns from SCIP_LP; the new position of a column must not be greater that its old position
Definition at line 610 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_OKAY, and SCIPdebugMessage.
adds rows to the LP
Definition at line 643 of file lpi_qso.c. References NULL, QS_ERROR, SCIP_CALL, SCIP_OKAY, SCIP_Real, and SCIPdebugMessage.
gets column names
Definition at line 711 of file lpi_qso.c. References NULL, QS_ERROR, SCIP_ALLOC, SCIP_OKAY, and SCIPdebugMessage.
gets row names
Definition at line 771 of file lpi_qso.c. References NULL, QS_ERROR, SCIP_ALLOC, SCIP_OKAY, and SCIPdebugMessage.
deletes rows from SCIP_LP; the new position of a row must not be greater that its old position
Definition at line 858 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_OKAY, and SCIPdebugMessage.
clears the whole LP
Definition at line 896 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage. Referenced by SCIPlpiLoadColLP().
changes lower and upper bounds of columns
Definition at line 933 of file lpi_qso.c. References NULL, QS_CONDRET, QS_RETURN, SCIP_CALL, SCIP_Real, SCIPdebugMessage, and SCIPdebugPrintf.
changes left and right hand sides of rows
Definition at line 974 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
changes a single coefficient
Definition at line 1016 of file lpi_qso.c. References NULL, QS_RETURN, and SCIPdebugMessage.
changes the objective sense
Definition at line 1038 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_OBJSEN_MAXIMIZE, SCIP_OKAY, and SCIPdebugMessage.
changes objective values of columns in the LP
Definition at line 1066 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_OKAY, and SCIPdebugMessage.
multiplies a row with a non-zero scalar; for negative scalars, the row's sense is switched accordingly
Definition at line 1091 of file lpi_qso.c. References NULL, QS_RETURN, QS_TESTG, SCIPdebugMessage, and SCIPerrorMessage.
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 1193 of file lpi_qso.c. References NULL, QS_RETURN, QS_TESTG, and SCIPdebugMessage.
gets the number of rows in the LP
Definition at line 1288 of file lpi_qso.c. References NULL, SCIP_OKAY, and SCIPdebugMessage.
gets the number of columns in the LP
Definition at line 1305 of file lpi_qso.c. References NULL, SCIP_OKAY, and SCIPdebugMessage.
gets the number of nonzero elements in the LP constraint matrix
Definition at line 1322 of file lpi_qso.c. References NULL, SCIP_OKAY, and SCIPdebugMessage.
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 1341 of file lpi_qso.c. References NULL, QS_RETURN, QS_TESTG, SCIP_CALL, and SCIPdebugMessage.
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 1433 of file lpi_qso.c. References NULL, QS_RETURN, QS_TESTG, SCIP_CALL, SCIP_INVALIDDATA, SCIPABORT, SCIPdebugMessage, and SCIPerrorMessage.
gets the objective sense of the LP
Definition at line 1544 of file lpi_qso.c. References SCIP_LPERROR, and SCIPerrorMessage.
gets objective coefficients from LP problem object
Definition at line 1554 of file lpi_qso.c. References NULL, QS_RETURN, SCIP_CALL, and SCIPdebugMessage.
gets current bounds from LP problem object
Definition at line 1583 of file lpi_qso.c. References NULL, QS_RETURN, SCIP_CALL, and SCIPdebugMessage.
gets current row sides from LP problem object
Definition at line 1613 of file lpi_qso.c. References NULL, QS_RETURN, QS_TESTG, SCIP_CALL, SCIP_INVALIDDATA, SCIPABORT, SCIPdebugMessage, and SCIPerrorMessage.
gets a single coefficient
Definition at line 1683 of file lpi_qso.c. References NULL, QS_RETURN, and SCIPdebugMessage.
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 1715 of file lpi_qso.c. References NULL, QS_RETURN, and SCIPdebugMessage.
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 1733 of file lpi_qso.c. References NULL, QS_RETURN, and SCIPdebugMessage. Referenced by SCIPlpiSolveBarrier().
calls barrier or interior point algorithm to solve the LP with crossover to simplex basis
Definition at line 1751 of file lpi_qso.c. References SCIPlpiSolveDual().
performs strong branching iterations on one fractional candidate
Definition at line 1778 of file lpi_qso.c. References EPSISINT, NULL, QS_CONDRET, SCIP_OKAY, SCIPdebugMessage, and TRUE.
performs strong branching iterations on given fractional candidates
Definition at line 1825 of file lpi_qso.c. References EPSISINT, NULL, QS_CONDRET, SCIP_OKAY, SCIPdebugMessage, and TRUE.
performs strong branching iterations on one candidate with integral value
Definition at line 1878 of file lpi_qso.c. References EPSISINT, NULL, QS_CONDRET, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, and TRUE.
performs strong branching iterations on given candidates with integral values
Definition at line 1924 of file lpi_qso.c. References EPSISINT, NULL, QS_CONDRET, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, and TRUE.
gets information about primal and dual feasibility of the current LP solution
Definition at line 1998 of file lpi_qso.c. References NULL, SCIP_OKAY, and SCIPdebugMessage. 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 2023 of file lpi_qso.c. References NULL, and SCIPdebugMessage. 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 2040 of file lpi_qso.c. References FALSE, NULL, and SCIPdebugMessage. returns TRUE iff LP is proven to be primal unbounded
Definition at line 2054 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff LP is proven to be primal infeasible
Definition at line 2069 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff LP is proven to be primal feasible
Definition at line 2084 of file lpi_qso.c. References NULL, and SCIPdebugMessage. 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 2101 of file lpi_qso.c. References NULL, and SCIPdebugMessage. 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 2118 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff LP is dual unbounded
Definition at line 2133 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff LP is dual infeasible
Definition at line 2148 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff LP is proven to be dual feasible
Definition at line 2163 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff LP was solved to optimality
Definition at line 2178 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff current LP basis is stable
Definition at line 2193 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff the objective limit was reached
Definition at line 2208 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff the iteration limit was reached
Definition at line 2223 of file lpi_qso.c. References NULL, and SCIPdebugMessage. returns TRUE iff the time limit was reached
Definition at line 2238 of file lpi_qso.c. References NULL, and SCIPdebugMessage.
returns the internal solution status of the solver
Definition at line 2253 of file lpi_qso.c. References NULL, and SCIPdebugMessage.
tries to reset the internal status of the LP solver in order to ignore an instability of the last solving call
Definition at line 2268 of file lpi_qso.c. References FALSE, NULL, SCIP_OKAY, and SCIPdebugMessage.
gets objective value of solution
Definition at line 2285 of file lpi_qso.c. References NULL, QS_RETURN, and SCIPdebugMessage.
gets primal and dual solution vectors
Definition at line 2303 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, SCIPdebugMessage, and SCIPerrorMessage.
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 2422 of file lpi_qso.c. References NULL, SCIP_LPERROR, and SCIPerrorMessage.
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 2436 of file lpi_qso.c. References NULL, QS_RETURN, and SCIPdebugMessage.
gets the number of LP iterations of the last solve call
Definition at line 2456 of file lpi_qso.c. References NULL, QS_CONDRET, and SCIP_OKAY.
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 2481 of file lpi_qso.c. References NULL, SCIP_INVALID, and SCIP_OKAY.
gets current basis status for columns and rows; arrays must be large enough to store the basis status
Definition at line 2508 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, SCIPdebugMessage, and SCIPerrorMessage. Referenced by 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 2580 of file lpi_qso.c. References NULL, QS_RETURN, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIPABORT, SCIPdebugMessage, and SCIPerrorMessage.
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 2653 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_OKAY, and SCIPdebugMessage.
get dense row of inverse basis matrix B^-1
Definition at line 2689 of file lpi_qso.c. References NULL, QS_RETURN, and SCIPdebugMessage.
get dense column of inverse basis matrix B^-1
Definition at line 2714 of file lpi_qso.c. References NULL, SCIP_LPERROR, and SCIPerrorMessage.
get dense row of inverse basis matrix times constraint matrix B^-1 * A
Definition at line 2741 of file lpi_qso.c. References NULL, QS_CONDRET, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
get dense column of inverse basis matrix times constraint matrix B^-1 * A
Definition at line 2777 of file lpi_qso.c. References NULL, SCIP_LPERROR, and SCIPerrorMessage.
stores LPi state (like basis information) into lpistate object
Definition at line 2805 of file lpi_qso.c. References NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetBase().
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 2844 of file lpi_qso.c. References NULL, QS_RETURN, REALABS, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, and SCIPlpiIsInfinity().
clears current LPi state (like basis information) of the solver
Definition at line 2961 of file lpi_qso.c. References NULL, SCIP_OKAY, and SCIPerrorMessage.
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 2999 of file lpi_qso.c. References NULL, SCIP_OKAY, SCIP_READERROR, SCIPdebugMessage, and SCIPerrorMessage.
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 3022 of file lpi_qso.c. References NULL, QS_ERROR, SCIP_OKAY, SCIP_WRITEERROR, SCIPdebugMessage, and SCIPerrorMessage.
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()
gets integer parameter of LP
Definition at line 3119 of file lpi_qso.c. References FALSE, NULL, QS_RETURN, SCIP_LPPAR_FASTMIP, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_PARAMETERUNKNOWN, SCIPdebugMessage, and TRUE.
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 3167 of file lpi_qso.c. References NULL, QS_RETURN, SCIP_LPERROR, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_PARAMETERUNKNOWN, SCIP_PRICING_AUTO, SCIP_PRICING_DEVEX, SCIP_PRICING_FULL, SCIP_PRICING_LPIDEFAULT, SCIP_PRICING_PARTIAL, SCIP_PRICING_STEEP, SCIP_PRICING_STEEPQSTART, SCIPdebugMessage, and TRUE.
gets floating point parameter of LP
Definition at line 3229 of file lpi_qso.c. References NULL, QS_RETURN, SCIP_LPPAR_BARRIERCONVTOL, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LOBJLIM, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_MARKOWITZ, SCIP_LPPAR_UOBJLIM, SCIP_PARAMETERUNKNOWN, and SCIPdebugMessage.
sets floating point parameter of LP
Definition at line 3266 of file lpi_qso.c. References NULL, QS_RETURN, SCIP_LPPAR_BARRIERCONVTOL, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LOBJLIM, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_MARKOWITZ, SCIP_LPPAR_UOBJLIM, SCIP_PARAMETERUNKNOWN, and SCIPdebugMessage. checks if given value is treated as infinity in the LP solver
Definition at line 3322 of file lpi_qso.c. Referenced by SCIPlpiSetState().
reads LP from a file read file in MPS format parameters: filename bool keepNames bool ignoreErrors
Definition at line 3343 of file lpi_qso.c. References NULL, SCIP_OKAY, SCIP_READERROR, and SCIPdebugMessage.
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 3367 of file lpi_qso.c. References NULL, SCIP_OKAY, SCIP_WRITEERROR, and SCIPdebugMessage. |