functions to build and access LP relaxation information
Topics | |
| LP Column | |
| public functions for LP columns | |
| LP Row | |
| public functions for LP rows | |
| Cuts and Cutpools | |
| common functions used to manipulate, generate, and strengthen cuts and to organize the cutpool | |
| LP Diving | |
| functions to initiate and conduct LP diving | |
returns whether the LP was or is to be solved in the current node
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 87 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPtreeHasCurrentNodeLP(), and TRUE.
Referenced by applyVbounds(), checkCons(), checkCons(), consdataGetActivity(), consdataGetActivity(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), enforcePseudo(), enforcePseudo(), enforcePseudo(), execRelpscost(), getVariableRedcostScore(), getVariableRedcostScore(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), and SCIPperformGenericDivingAlgorithm().
returns whether the LP of the current node is already constructed
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 105 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by applyVbounds(), createNewSol(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersSolveSubproblemLP(), and SCIPcertificateInitTransFile().
| SCIP_RETCODE SCIPconstructLP | ( | SCIP * | scip, |
| SCIP_Bool * | cutoff ) |
makes sure that the LP of the current node is loaded and may be accessed through the LP information methods
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
makes sure that the LP of the current node is loaded and may be accessed through the LP information methods
scip is in one of the following stages:
cutoff is safe to use in exact solving mode.See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 130 of file scip_lp.c.
References cutoff, FALSE, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPconstructCurrentLP(), and TRUE.
Referenced by applyVbounds(), initialiseSubproblem(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), and SCIPcertificateInitTransFile().
| SCIP_RETCODE SCIPflushLP | ( | SCIP * | scip | ) |
makes sure that the LP of the current node is flushed
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 154 of file scip_lp.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPlpFlush(), and TRUE.
Referenced by applyVbounds(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), and SCIP_DECL_HEUREXEC().
| SCIP_LPSOLSTAT SCIPgetLPSolstat | ( | SCIP * | scip | ) |
gets solution status of current LP
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 174 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_LPSOLSTAT_NOTSOLVED, SCIPcheckStage, SCIPlpGetSolstat(), SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by analyzeStrongbranch(), applyBoundHeur(), applyVbounds(), bilinboundGetScore(), branchingIntegralFirst(), collectEstLst(), computeStandardLPFeasibilityCut(), createGenVBound(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), execRelpscost(), executeBranching(), executeBranchingRecursive(), executeHeuristic(), filterExistingLP(), fixAndPropagate(), fixDiscreteVars(), getDualBranchscore(), getNLPFracVars(), getVariableRedcostScore(), getVariableRedcostScore(), if(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), polishSolution(), runVanillaStrongBranching(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPapplyHeurSubNlp(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersExec(), SCIPbendersSolveSubproblemLP(), SCIPconsBendersEnforceSolution(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPvisualUpdateChild(), selectVarMultAggrBranching(), solveBilinearLP(), solveLagromoryLP(), solveLP(), solveLp(), tryOneOpt(), trySolCandidate(), and while().
returns whether the current LP solution passed the primal feasibility check
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
returns whether the current LP solution passed the primal feasibility check
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 195 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpIsPrimalReliable(), and TRUE.
returns whether the current LP solution passed the dual feasibility check
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 213 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpIsDualReliable(), and TRUE.
Referenced by propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().
returns whether the current lp is a relaxation of the current problem and its optimal objective value is a local lower bound
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 231 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpIsRelax(), and TRUE.
Referenced by performStrongbranchWithPropagation(), SCIP_DECL_HEUREXEC(), and SCIP_DECL_PROPEXEC().
gets objective value of current LP (which is the sum of column and loose objective value)
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 253 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetObjval(), and TRUE.
Referenced by applyVbounds(), createGenVBound(), execRelpscost(), executeBranching(), executeStrongBranching(), getBranchingDecisionStrongbranchSOS1(), getDualBranchscore(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), prepareSeparation(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPsolveDiveLP(), SCIPtryStrongbranchLPSol(), selectVarMultAggrBranching(), selectVarStart(), separateCuts(), solveLagromoryLP(), solveProbingLP(), and while().
gets part of objective value of current LP that results from COLUMN variables only
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 271 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetColumnObjval(), and TRUE.
gets part of objective value of current LP that results from LOOSE variables only
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 289 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetLooseObjval(), and TRUE.
gets the global pseudo objective value; that is all variables set to their best (w.r.t. the objective function) global bound
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 314 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetGlobalPseudoObjval(), and TRUE.
Referenced by propagateCutoffboundGlobally(), propdataInit(), resolvePropagation(), and SCIP_DECL_PROPPRESOL().
gets the pseudo objective value for the current search node; that is all variables set to their best (w.r.t. the objective function) local bound
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 339 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetPseudoObjval(), and TRUE.
Referenced by applyOptcumulative(), propagateCutoffbound(), propdataInit(), SCIP_DECL_DISPOUTPUT(), and SCIP_DECL_PRESOLEXEC().
returns whether the root lp is a relaxation of the problem and its optimal objective value is a global lower bound
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 357 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpIsRootLPRelax(), and TRUE.
gets the objective value of the root node LP or SCIP_INVALID if the root node LP was not (yet) solved
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 378 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetRootObjval(), and TRUE.
Referenced by SCIP_DECL_PROPEXEC().
gets part of the objective value of the root node LP that results from COLUMN variables only; returns SCIP_INVALID if the root node LP was not (yet) solved
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 401 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetRootColumnObjval(), and TRUE.
gets part of the objective value of the root node LP that results from LOOSE variables only; returns SCIP_INVALID if the root node LP was not (yet) solved
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 424 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetRootLooseObjval(), and TRUE.
gets current primal feasibility tolerance of LP
Definition at line 434 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetFeastol(), and TRUE.
Referenced by addCut(), consEnfo(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PARAMCHGD(), SCIPcomputeFacetVertexPolyhedralNonlinear(), and SCIPprocessRowprepNonlinear().
sets primal feasibility tolerance of LP
Definition at line 444 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpSetFeastol(), and TRUE.
Referenced by consEnfo(), and SCIP_DECL_CONSENFOLP().
| void SCIPresetLPFeastol | ( | SCIP * | scip | ) |
resets primal feasibility tolerance of LP
Sets primal feasibility tolerance to min of numerics/lpfeastolfactor * numerics/feastol and relaxfeastol.
Definition at line 458 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpResetFeastol(), and TRUE.
Referenced by SCIP_DECL_PARAMCHGD().
| SCIP_RETCODE SCIPgetLPColsData | ( | SCIP * | scip, |
| SCIP_COL *** | cols, | ||
| int * | ncols ) |
gets current LP columns along with the current number of LP columns
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| cols | pointer to store the array of LP columns, or NULL |
| ncols | pointer to store the number of LP columns, or NULL |
Definition at line 477 of file scip_lp.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPlpGetCols(), SCIPlpGetNCols(), SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by aggregateGeneratedCuts(), buildMod2Matrix(), computeCut(), createCGCutDirect(), createCGMIPprimalsols(), createLPWithHardCuts(), createLPWithSoftCuts(), createSubscip(), extractCapacities(), extractNodes(), generateAverageNBRay(), generateGMICuts(), mcfnetworkExtract(), mcfnetworkFill(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), separateCuts(), solveLagromoryLP(), solveLPWithHardCuts(), storeDenseTableauRow(), and updateObjectiveVector().
gets current LP columns
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 512 of file scip_lp.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpGetCols(), SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by addCols(), computeIntercut(), computeMonoidalStrengthCoef(), computeNegCutcoefs(), computeStrengthenedIntercut(), constructCutRow(), createAndStoreSparseRays(), findUncapacitatedArcs(), getNextFlowrow(), SCIP_DECL_PROPEXEC(), and SCIPgetDualProof().
| int SCIPgetNLPCols | ( | SCIP * | scip | ) |
gets current number of LP columns
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 533 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpGetNCols(), SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by addCols(), addFlowrowToCommodity(), addRows(), aggregation(), applyBoundHeur(), applyVbounds(), buildMod2Matrix(), cleanupNetwork(), collectIncidentFlowCols(), createAndStoreSparseRays(), createRays(), deleteCommodity(), extractCapacityRows(), extractFlow(), extractFlowRows(), filterWithDensity(), findUncapacitatedArcs(), generateClusterCuts(), generateZerohalfCut(), getFlowrowFit(), getIncidentNodes(), getNextFlowrow(), getNodeSimilarityScore(), getObjectiveRow(), getTableauRows(), identifySourcesTargets(), invertCommodity(), mcfnetworkFill(), mod2MatrixTransformContRows(), nodepairqueueCreate(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPgetDualProof(), SCIPselectCutsEnsemble(), scoring(), separateCuts(), separateDeterminant(), separatePoint(), and storeDenseTableauRowsByColumns().
| int SCIPgetNUnfixedLPCols | ( | SCIP * | scip | ) |
gets current number of unfixed LP columns
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 554 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpGetNUnfixedCols(), SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by applyBoundHeur(), applyVbounds(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), and SCIP_DECL_HEUREXEC().
| SCIP_RETCODE SCIPgetLPRowsData | ( | SCIP * | scip, |
| SCIP_ROW *** | rows, | ||
| int * | nrows ) |
gets current LP rows along with the current number of LP rows
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| rows | pointer to store the array of LP rows, or NULL |
| nrows | pointer to store the number of LP rows, or NULL |
Definition at line 576 of file scip_lp.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPlpGetNRows(), SCIPlpGetRows(), SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by aggregation(), buildMod2Matrix(), cleanupNetwork(), computeCut(), createCGCutCMIR(), createCGCutStrongCG(), createCGMIPprimalsols(), createLPWithHardCuts(), createLPWithSoftCuts(), createRows(), createRows(), createSubscip(), extractCapacities(), extractCapacityRows(), extractFlowRows(), extractNodes(), generateAverageNBRay(), generateAverageRay(), generateGMICuts(), initMatrix(), mcfnetworkExtract(), mcfnetworkFill(), mod2MatrixTransformContRows(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPaggrRowSumRows(), SCIPapplyLockFixings(), separateCuts(), setupAggregationData(), and storeDenseTableauRow().
gets current LP rows
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 611 of file scip_lp.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpGetRows(), SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by addRows(), applyNlobbt(), applyRepair(), computeIntercut(), computeInteriorPoint(), computeMonoidalStrengthCoef(), computeNegCutcoefs(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeStrengthenedIntercut(), createAndStoreSparseRays(), cutsSubstituteMIR(), cutsSubstituteMIRSafely(), cutsSubstituteStrongCG(), extractFlow(), findUncapacitatedArcs(), generateLiftedFlowCoverCut(), generateZerohalfCut(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPcutGenerationHeuristicCMIR(), SCIPgetDualProof(), SCIPgetFarkasProof(), and solveBilinearLP().
| int SCIPgetNLPRows | ( | SCIP * | scip | ) |
gets current number of LP rows
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 632 of file scip_lp.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpGetNRows(), SCIPtreeIsFocusNodeLPConstructed(), and TRUE.
Referenced by addRows(), applyNlobbt(), applyRepair(), calcShiftVal(), calculateRelCutoffScore(), computeInteriorPoint(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), constructBasicVars2TableauRowMap(), constructBasicVars2TableauRowMap(), createAndStoreSparseRays(), createCGCuts(), createRays(), cutsSubstituteMIR(), cutsSubstituteMIRSafely(), cutsSubstituteStrongCG(), destroyMod2Matrix(), extractFlow(), findUncapacitatedArcs(), generateClusterCuts(), getFlowrowFit(), getIncidentNodes(), getNActiveConsScore(), getNextFlowrow(), getNodeSimilarityScore(), getTableauRows(), identifySourcesTargets(), invertCommodity(), mod2rowAddRow(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPapplyLockFixings(), separateCuts(), separateCuts(), separateDeterminant(), solveBilinearLP(), storeDenseTableauRowsByColumns(), and updateRowActivities().
returns TRUE iff all columns, i.e. every variable with non-empty column w.r.t. all ever created rows, are present in the LP, and FALSE, if there are additional already existing columns, that may be added to the LP in pricing
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 655 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPprobAllColsInLP(), and TRUE.
Referenced by branch(), branchOnVar(), execRelpscost(), executeBranchingRecursive(), performRandRounding(), performSimpleRounding(), performStrongbranchWithPropagation(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_RELAXEXEC(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), selectVarMultAggrBranching(), and selectVarRecursive().
returns whether the current LP solution is basic, i.e. is defined by a valid simplex basis
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 673 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpIsSolBasic(), and TRUE.
Referenced by applyBoundHeur(), applyVbounds(), execRelpscost(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PROPEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPperformGenericDivingAlgorithm(), and solveLagromoryLP().
| SCIP_RETCODE SCIPgetLPBasisInd | ( | SCIP * | scip, |
| int * | basisind ) |
gets all indices of basic columns and rows: index i >= 0 corresponds to column i, index i < 0 to row -i-1
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| basisind | pointer to store basis indices ready to keep number of rows entries |
Definition at line 692 of file scip_lp.c.
References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPlpGetBasisInd(), SCIPlpIsSolBasic(), and TRUE.
Referenced by constructBasicVars2TableauRowMap(), constructBasicVars2TableauRowMap(), createCGMIPprimalsols(), generateGMICuts(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), and SCIP_DECL_SEPAEXECLP().
| SCIP_RETCODE SCIPgetLPBInvRow | ( | SCIP * | scip, |
| int | r, | ||
| SCIP_Real * | coefs, | ||
| int * | inds, | ||
| int * | ninds ) |
gets a row from the inverse basis matrix B^-1
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| r | row number |
| coefs | array to store the coefficients of the row |
| inds | array to store the non-zero indices, or NULL |
| ninds | pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity informations) |
Definition at line 720 of file scip_lp.c.
References FALSE, r, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPdebugCheckBInvRow, SCIPerrorMessage, SCIPlpGetBInvRow(), SCIPlpIsSolBasic(), and TRUE.
Referenced by createCGMIPprimalsols(), generateGMICuts(), getTableauRows(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), and storeDenseTableauRow().
| SCIP_RETCODE SCIPgetLPBInvCol | ( | SCIP * | scip, |
| int | c, | ||
| SCIP_Real * | coefs, | ||
| int * | inds, | ||
| int * | ninds ) |
gets a column from the inverse basis matrix B^-1
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| c | column number of B^-1; this is NOT the number of the column in the LP returned by SCIPcolGetLPPos(); you have to call SCIPgetBasisInd() to get the array which links the B^-1 column numbers to the row and column numbers of the LP! c must be between 0 and nrows-1, since the basis has the size nrows * nrows |
| coefs | array to store the coefficients of the column |
| inds | array to store the non-zero indices, or NULL |
| ninds | pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity informations) |
Definition at line 755 of file scip_lp.c.
References c, FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPerrorMessage, SCIPlpGetBInvCol(), SCIPlpIsSolBasic(), and TRUE.
| SCIP_RETCODE SCIPgetLPBInvARow | ( | SCIP * | scip, |
| int | r, | ||
| SCIP_Real * | binvrow, | ||
| SCIP_Real * | coefs, | ||
| int * | inds, | ||
| int * | ninds ) |
gets a row from the product of inverse basis matrix B^-1 and coefficient matrix A (i.e. from B^-1 * A)
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| r | row number |
| binvrow | row in B^-1 from prior call to SCIPgetLPBInvRow(), or NULL |
| coefs | array to store the coefficients of the row |
| inds | array to store the non-zero indices, or NULL |
| ninds | pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity informations) |
Definition at line 791 of file scip_lp.c.
References FALSE, r, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPerrorMessage, SCIPlpGetBInvARow(), SCIPlpIsSolBasic(), and TRUE.
Referenced by getTableauRows(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), and storeDenseTableauRow().
| SCIP_RETCODE SCIPgetLPBInvACol | ( | SCIP * | scip, |
| int | c, | ||
| SCIP_Real * | coefs, | ||
| int * | inds, | ||
| int * | ninds ) |
gets a column from the product of inverse basis matrix B^-1 and coefficient matrix A (i.e. from B^-1 * A), i.e., it computes B^-1 * A_c with A_c being the c'th column of A
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| c | column number which can be accessed by SCIPcolGetLPPos() |
| coefs | array to store the coefficients of the column |
| inds | array to store the non-zero indices, or NULL |
| ninds | pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity informations) |
Definition at line 825 of file scip_lp.c.
References c, FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPerrorMessage, SCIPlpGetBInvACol(), SCIPlpIsSolBasic(), and TRUE.
Referenced by generateAverageRay().
| SCIP_RETCODE SCIPsumLPRows | ( | SCIP * | scip, |
| SCIP_Real * | weights, | ||
| SCIP_REALARRAY * | sumcoef, | ||
| SCIP_Real * | sumlhs, | ||
| SCIP_Real * | sumrhs ) |
calculates a weighted sum of all LP rows; for negative weights, the left and right hand side of the corresponding LP row are swapped in the summation
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| weights | row weights in row summation |
| sumcoef | array to store sum coefficients indexed by variables' probindex |
| sumlhs | pointer to store the left hand side of the row summation |
| sumrhs | pointer to store the right hand side of the row summation |
Definition at line 858 of file scip_lp.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPlpSumRows(), and TRUE.
| SCIP_RETCODE SCIPinterruptLP | ( | SCIP * | scip, |
| SCIP_Bool | interrupt ) |
interrupts or disables the interrupt of the currently ongoing lp solve; if the lp is not currently constructed just returns with no effect
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
interrupts or disables the interrupt of the currently ongoing lp solve; if the lp is not currently constructed just returns with no effect
| scip | SCIP data structure |
| interrupt | TRUE if interrupt should be set, FALSE if it should be disabled |
Definition at line 880 of file scip_lp.c.
References NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPlpInterrupt(), and TRUE.
Referenced by SCIPpresolve(), and SCIPsolve().
| SCIP_RETCODE SCIPwriteLP | ( | SCIP * | scip, |
| const char * | filename ) |
writes current LP to a file
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 907 of file scip_lp.c.
References FALSE, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPlpWrite(), SCIPtreeIsFocusNodeLPConstructed(), SCIPwarningMessage(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIP_DECL_HEUREXEC().
| SCIP_RETCODE SCIPwriteMIP | ( | SCIP * | scip, |
| const char * | filename, | ||
| SCIP_Bool | genericnames, | ||
| SCIP_Bool | origobj, | ||
| SCIP_Bool | lazyconss ) |
writes MIP relaxation of the current branch-and-bound node to a file
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| filename | file name |
| genericnames | should generic names like x_i and row_j be used in order to avoid troubles with reserved symbols? |
| origobj | should the original objective function be used? |
| lazyconss | output removable rows as lazy constraints? |
Definition at line 938 of file scip_lp.c.
References FALSE, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPlpWriteMip(), SCIPtreeIsFocusNodeLPConstructed(), SCIPwarningMessage(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC().
| SCIP_RETCODE SCIPgetLPI | ( | SCIP * | scip, |
| SCIP_LPI ** | lpi ) |
gets the LP interface of SCIP; with the LPI you can use all of the methods defined in lpi/lpi.h;
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 994 of file scip_lp.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPlpGetLPI(), and TRUE.
Referenced by candidateStoreWarmStartInfo(), createLPWithHardCuts(), createLPWithSoftCuts(), getNIterationsLastLP(), performStrongbranchWithPropagation(), SCIP_DECL_DISPOUTPUT(), selectVarRecursive(), and warmStartInfoFree().
| SCIP_RETCODE SCIPprintLPSolutionQuality | ( | SCIP * | scip, |
| FILE * | file ) |
Displays quality information about the current LP solution. An LP solution need to be available. Information printed is subject to what the LP solver supports
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
displays quality information about the current LP solution. An LP solution need to be available; information printed is subject to what the LP solver supports
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
Definition at line 1030 of file scip_lp.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALID, SCIP_INVALIDCALL, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIP_Real, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPcheckStage, SCIPerrorMessage, SCIPlpGetLPI(), SCIPlpiGetRealSolQuality(), SCIPmessageFPrintInfo(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC().
| SCIP_RETCODE SCIPcomputeLPRelIntPoint | ( | SCIP * | scip, |
| SCIP_Bool | relaxrows, | ||
| SCIP_Bool | inclobjcutoff, | ||
| SCIP_Real | timelimit, | ||
| int | iterlimit, | ||
| SCIP_SOL ** | point ) |
compute relative interior point to current LP
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| relaxrows | should the rows be relaxed |
| inclobjcutoff | should a row for the objective cutoff be included |
| timelimit | time limit for LP solver |
| iterlimit | iteration limit for LP solver |
| point | relative interior point on exit |
Definition at line 1103 of file scip_lp.c.
References assert(), FALSE, i, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPcheckStage, SCIPcolGetVar(), SCIPcreateSol(), SCIPfreeBufferArray, SCIPlpComputeRelIntPoint(), SCIPlpGetCols(), SCIPlpGetNCols(), SCIPsetSolVal(), and TRUE.
Referenced by SCIP_DECL_SEPAEXECLP(), and setAndUpdateCorePoint().