- Generated on for SCIP Doxygen Documentation by
1.15.0
functions to create and change primal solutions of SCIP
| SCIP_SOLORIGIN SCIPsolGetOrigin | ( | SCIP_SOL * | sol | ) |
gets origin of solution
| sol | primal CIP solution |
Definition at line 4145 of file sol.c.
References assert(), NULL, and sol.
Referenced by checkSolOrig(), checkSolOrigExact(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), primalAddSol(), readSolFile(), readXmlSolFile(), SCIP_DECL_CONSCHECK(), SCIPmakeSolExact(), SCIPprimalAddOrigObjoffset(), SCIPprimalAddOrigObjoffsetExact(), SCIPprimalRetransformSolutions(), SCIPretransformSol(), SCIPretransformSolExact(), solsAreEqualExact(), and tightenVariables().
returns whether the given solution is defined on original variables
| sol | primal CIP solution |
Definition at line 4155 of file sol.c.
References assert(), NULL, SCIP_Bool, SCIP_SOLORIGIN_ORIGINAL, SCIP_SOLORIGIN_PARTIAL, and sol.
Referenced by executeDivingHeuristic(), freeTransform(), origsolOfInterest(), primalAddSol(), primalExistsSol(), primalSearchSolPos(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETAVAILABLE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPaddSol(), SCIPaddSolFree(), SCIPapplyProximity(), SCIPcheckSol(), SCIPgetSolOrigObj(), SCIPgetSolOrigObjExact(), SCIPgetSolVarsData(), SCIPincSolVal(), SCIPprimalAddOrigSol(), SCIPprimalAddOrigSolFree(), SCIPprimalTransformSol(), SCIPprimalUpdateObjoffset(), SCIPprimalUpdateObjoffsetExact(), SCIPprimalUpdateVarObj(), SCIPprintBestTransSol(), SCIPprintMIPStart(), SCIPprintSol(), SCIPprintSolExact(), SCIPprintTransSol(), SCIProundSol(), SCIPsetSolVal(), SCIPsetSolValExact(), SCIPsetSolVals(), SCIPsolCheck(), SCIPsolGetObj(), SCIPsolGetObjExact(), SCIPsolGetOrigObj(), SCIPsolGetOrigObjExact(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolOverwriteFPSolWithExact(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRecomputeObj(), SCIPsolRound(), SCIPsolsAreEqual(), SCIPsolSetVal(), SCIPsolTransform(), SCIPsolUnlink(), SCIPsolUpdateVarObj(), SCIPsolUpdateVarsum(), SCIPsolve(), SCIPtrySol(), SCIPtrySolFree(), SCIPtrySolFreeExact(), separateSolution(), and transformSols().
returns whether a solution is an exact rational solution
| sol | primal CIP solution |
Definition at line 4165 of file sol.c.
References assert(), NULL, SCIP_Bool, and sol.
Referenced by certificatePrintSol(), checkIntegralityExact(), checkSolOrigExact(), enforceConstraint(), fromCommandLine(), primalAddSol(), readSol(), readSolFile(), readXmlSolFile(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIPcertificatePrintResult(), SCIPgetSolOrigObjExact(), SCIPmakeSolExact(), SCIPprimalAddSol(), SCIPprimalUpdateObjoffsetExact(), SCIPprintSol(), SCIPrecomputeSolObj(), SCIPsetSolValExact(), SCIPsolClear(), SCIPsolCopy(), SCIPsolCreateExact(), SCIPsolCreateOriginalExact(), SCIPsolFree(), SCIPsolGetObjExact(), SCIPsolGetOrigObjExact(), SCIPsolGetValExact(), SCIPsolLinkLPSolExact(), SCIPsolLinkPseudoSolExact(), SCIPsolMakeExact(), SCIPsolMakeReal(), SCIPsolOrigAddObjvalExact(), SCIPsolOverwriteFPSolWithExact(), SCIPsolPrintExact(), SCIPsolRecomputeInternObjExact(), SCIPsolRecomputeObj(), SCIPsolRetransform(), SCIPsolRetransformExact(), SCIPsolSetValExact(), SCIPsolTransform(), SCIPsolUnlinkExact(), SCIPvalidateSolveExact(), solCheckExact(), solClearArrays(), solGetArrayValExact(), solOfInterest(), solsAreEqualExact(), solSetArrayValExact(), and solUnlinkVarExact().
returns whether the given solution is partial
returns whether the given solution is defined on original variables and containes unknown solution values
| sol | primal CIP solution |
Definition at line 4175 of file sol.c.
References assert(), NULL, SCIP_Bool, SCIP_SOLORIGIN_PARTIAL, and sol.
Referenced by readSol(), readSolFile(), readXmlSolFile(), SCIP_DECL_HEUREXEC(), SCIPcheckSol(), SCIPcheckSolOrig(), SCIPprimalAddOrigSol(), SCIPprimalAddOrigSolFree(), SCIPprimalAddSol(), SCIPprimalAddSolFreeExact(), SCIPprintMIPStart(), SCIPprintSol(), SCIPprintSolExact(), SCIPsolPrint(), SCIPsolSetVal(), SCIPtrySol(), SCIPtrySolFree(), and SCIPtrySolFreeExact().
gets objective value of primal CIP solution which lives in the original problem space
| sol | primal CIP solution |
Definition at line 4185 of file sol.c.
References assert(), NULL, SCIP_Real, SCIPsolIsOriginal(), and sol.
Referenced by prepareSeparation(), primalAddOrigSol(), primalAddSol(), primalExistsOrigSol(), primalSearchOrigSolPos(), SCIPgetSolOrigObj(), SCIPprimalAddOrigObjoffset(), SCIPprimalAddOrigObjoffsetExact(), SCIPprimalTransformSol(), SCIPprintMIPStart(), SCIPprintSol(), solveAndEvalSubscip(), and storeSolution().
| void SCIPsolOrigAddObjvalExact | ( | SCIP_SOL * | sol, |
| SCIP_RATIONAL * | addval ) |
adds value to the objective value of a given original primal CIP solution
| sol | primal CIP solution |
| addval | offset value to add |
Definition at line 4220 of file sol.c.
References assert(), NULL, SCIP_SOLORIGIN_ORIGINAL, SCIPrationalAdd(), SCIPrationalGetReal(), SCIPsolIsExact(), and sol.
Referenced by SCIPprimalAddOrigObjoffsetExact().
gets clock time, when this solution was found
| sol | primal CIP solution |
Definition at line 4234 of file sol.c.
References assert(), NULL, SCIP_Real, and sol.
Referenced by primalAddSol(), SCIPgetSolTime(), and SCIPprintSolutionStatistics().
| int SCIPsolGetRunnum | ( | SCIP_SOL * | sol | ) |
gets branch and bound run number, where this solution was found
| sol | primal CIP solution |
Definition at line 4244 of file sol.c.
References assert(), NULL, and sol.
Referenced by primalAddSol(), SCIPgetSolRunnum(), and SCIPprintSolutionStatistics().
| SCIP_Longint SCIPsolGetNodenum | ( | SCIP_SOL * | sol | ) |
gets node number of the specific branch and bound run, where this solution was found
gets node number, where this solution was found
| sol | primal CIP solution |
Definition at line 4254 of file sol.c.
References assert(), NULL, SCIP_Longint, and sol.
Referenced by determineVariableFixings(), primalAddSol(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPgetSolNodenum(), SCIPprintSolutionStatistics(), SCIPsolve(), setupAndSolve(), setupAndSolve(), and solHasNewSource().
| int SCIPsolGetDepth | ( | SCIP_SOL * | sol | ) |
gets node's depth, where this solution was found
| sol | primal CIP solution |
Definition at line 4264 of file sol.c.
References assert(), NULL, and sol.
Referenced by primalAddSol(), and SCIPprintSolutionStatistics().
| SCIP_SOLTYPE SCIPsolGetType | ( | SCIP_SOL * | sol | ) |
gets information if solution was found by the LP, a primal heuristic, or a custom relaxator
| sol | primal CIP solution |
Definition at line 4336 of file sol.c.
References assert(), NULL, and sol.
Referenced by SCIP_DECL_CONSCHECK(), and SCIP_DECL_DISPOUTPUT().
gets heuristic that found this solution, or NULL if solution has type different than SCIP_SOLTYPE_HEUR
gets heuristic, that found this solution or NULL if solution has type different than SCIP_SOLTYPE_HEUR
| sol | primal CIP solution |
Definition at line 4274 of file sol.c.
References assert(), NULL, SCIP_SOLTYPE_HEUR, and sol.
Referenced by bufferSolution(), checkSolution(), determineVariableFixings(), notifyNlhdlrNewsol(), presolve(), presolveRound(), primalAddSol(), proposeFeasibleSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPgetSolHeur(), SCIPprimalTransformSol(), SCIPprintSolutionStatistics(), SCIPreoptAddSol(), SCIPsolCopy(), SCIPsolve(), SCIPupdateStartpointHeurSubNlp(), SCIPvisualFoundSolution(), solHasNewSource(), soltreeAddSol(), solveComponent(), and solveSubNLP().
| SCIP_RELAX * SCIPsolGetRelax | ( | SCIP_SOL * | sol | ) |
gets relaxation handler that found this solution, or NULL if solution has different type than SCIP_SOLTYPE_RELAX
| sol | primal CIP solution |
Definition at line 4346 of file sol.c.
References assert(), NULL, SCIP_SOLTYPE_RELAX, and sol.
Referenced by SCIP_DECL_DISPOUTPUT(), and SCIPsolCopy().
informs the solution that it now belongs to the given primal heuristic. For convenience and backwards compatibility, the method accepts NULL as input for heur, in which case the solution type is set to SCIP_SOLTYPE_LPRELAX.
| sol | primal CIP solution |
| heur | primal heuristic that found the solution, or NULL for LP solutions |
Definition at line 4319 of file sol.c.
References assert(), NULL, SCIP_SOLTYPE_HEUR, SCIPsolSetLPRelaxation(), and sol.
Referenced by createSolFromNLP(), createSolFromSubScipSol(), primalLinkCurrentSol(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPheurSyncPassSol(), SCIPsolCopy(), SCIPsolCreate(), SCIPsolCreateOriginal(), SCIPsolCreatePartial(), SCIPsolCreateUnknown(), SCIPupdateStartpointHeurSubNlp(), and solveComponent().
| void SCIPsolSetRelax | ( | SCIP_SOL * | sol, |
| SCIP_RELAX * | relax ) |
informs the solution that it now belongs to the given relaxation handler
| sol | primal CIP solution |
| relax | relaxator that found the solution |
Definition at line 4356 of file sol.c.
References assert(), NULL, SCIP_SOLTYPE_RELAX, and sol.
Referenced by SCIPsolCopy(), and SCIPsolCreateRelaxSol().
| void SCIPsolSetLPRelaxation | ( | SCIP_SOL * | sol | ) |
informs the solution that it is an LP relaxation solution
| sol | primal CIP solution |
Definition at line 4369 of file sol.c.
References assert(), NULL, SCIP_SOLTYPE_LPRELAX, and sol.
Referenced by SCIPsolSetHeur().
| void SCIPsolSetStrongbranching | ( | SCIP_SOL * | sol | ) |
informs the solution that it is a solution found during strong branching
| sol | primal CIP solution |
Definition at line 4379 of file sol.c.
References assert(), NULL, SCIP_SOLTYPE_STRONGBRANCH, and sol.
Referenced by SCIPtryStrongbranchLPSol().
| void SCIPsolSetPseudo | ( | SCIP_SOL * | sol | ) |
informs the solution that it originates from a pseudo solution
| sol | primal CIP solution |
Definition at line 4389 of file sol.c.
References assert(), NULL, SCIP_SOLTYPE_PSEUDO, and sol.
Referenced by SCIPsolCreatePseudoSol().
| int SCIPsolGetIndex | ( | SCIP_SOL * | sol | ) |
returns unique index of given solution
| sol | primal CIP solution |
Definition at line 4305 of file sol.c.
References assert(), NULL, and sol.
Referenced by constructValidSolution(), execRelpscost(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIPapplyProximity(), SCIPIsConcurrentSolNew(), SCIPtranslateSubSols(), selectInitialVariableDecomposition(), setupAndSolveSubscipCrossover(), solveComponent(), and solveSubscipLpface().
| SCIP_DECL_SORTPTRCOMP | ( | SCIPsolComp | ) |
| SCIP_RETCODE SCIPcreateSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a primal solution, initialized to zero
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 516 of file scip_sol.c.
References FALSE, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, SCIPsolCreate(), SCIPsolCreateOriginal(), sol, and TRUE.
| SCIP_RETCODE SCIPcreateSolExact | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates an exact primal solution, initialized to zero
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 566 of file scip_sol.c.
References FALSE, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, SCIPsolCreateExact(), SCIPsolCreateOriginalExact(), sol, and TRUE.
Referenced by presolve(), and readSol().
| SCIP_RETCODE SCIPcreateLPSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a primal solution, initialized to the current LP solution
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 608 of file scip_sol.c.
References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPsolCreateLPSol(), SCIPtreeHasCurrentNodeLP(), sol, and TRUE.
Referenced by constructValidSolution(), copyCurrentSolution(), performInteriorSolCutStrengthening(), proposeFeasibleSolution(), SCIP_DECL_CONSENFOLP(), SCIPtryStrongbranchLPSol(), and setAndUpdateCorePoint().
| SCIP_RETCODE SCIPcreateLPSolExact | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates an exact primal solution, initialized to the current exact LP solution
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 636 of file scip_sol.c.
References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPsolCreateLPSolExact(), SCIPtreeHasCurrentNodeLP(), sol, and TRUE.
Referenced by SCIP_DECL_CONSCHECK().
| SCIP_RETCODE SCIPcreateNLPSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a primal solution, initialized to the current NLP solution
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 664 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPisNLPConstructed(), SCIPnlpHasSolution(), SCIPsolCreateNLPSol(), sol, and TRUE.
Referenced by getNlpSolution(), resolveNLPWithTighterFeastol(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddNlRowGradientBenderscutOpt(), SCIPbendersSolSlackVarsActive(), and SCIPbendersSolveSubproblemLP().
| SCIP_RETCODE SCIPcreateRelaxSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a primal solution, initialized to the current relaxation solution
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 699 of file scip_sol.c.
References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPrelaxationIsSolValid(), SCIPsolCreateRelaxSol(), sol, and TRUE.
Referenced by constructValidSolution().
| SCIP_RETCODE SCIPcreatePseudoSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a primal solution, initialized to the current pseudo solution
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 726 of file scip_sol.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolCreatePseudoSol(), sol, and TRUE.
Referenced by constructValidSolution(), and SCIP_DECL_CONSENFOPS().
| SCIP_RETCODE SCIPcreateCurrentSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a primal solution, initialized to the current LP or pseudo solution, depending on whether the LP was solved at the current node
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 749 of file scip_sol.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolCreateCurrentSol(), sol, and TRUE.
Referenced by SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPbendersSolSlackVarsActive(), SCIPcreateSolCopy(), and SCIPcreateSolCopyOrig().
| SCIP_RETCODE SCIPcreatePartialSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a partial primal solution, initialized to unknown values
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 771 of file scip_sol.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolCreatePartial(), sol, and TRUE.
Referenced by readMst().
| SCIP_RETCODE SCIPcreateUnknownSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a primal solution, initialized to unknown values
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 799 of file scip_sol.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolCreateUnknown(), sol, and TRUE.
| SCIP_RETCODE SCIPcreateOrigSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_HEUR * | heur ) |
creates a primal solution living in the original problem space, initialized to zero; a solution in original space allows to set original variables to values that would be invalid in the transformed problem due to preprocessing fixings or aggregations
creates a primal solution living in the original problem space, initialized to zero; a solution in original space allows to set original variables to values that would be invalid in the transformed problem due to preprocessing fixings or aggregations
| scip | SCIP data structure |
| sol | pointer to store the solution |
| heur | heuristic that found the solution (or NULL if it's from the tree) |
Definition at line 831 of file scip_sol.c.
References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, SCIPsolCreateOriginal(), sol, and TRUE.
Referenced by applyOptcumulative(), componentSetupWorkingSol(), createSolFromSubScipSol(), executeHeuristic(), fixDiscreteVars(), reuseSolution(), reuseSolution(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_HEUREXEC(), SCIPcreateFiniteSolCopy(), setupAndSolveSubscipOneopt(), and solveAndEvalSubscip().
| SCIP_RETCODE SCIPcreateSolCopy | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_SOL * | sourcesol ) |
creates a copy of a primal solution; note that a copy of a linked solution is also linked and needs to be unlinked if it should stay unaffected from changes in the LP or pseudo solution
creates a copy of a primal solution; note that a copy of a linked solution is also linked and needs to be unlinked if it should stay unaffected from changes in the LP or pseudo solution
| scip | SCIP data structure |
| sol | pointer to store the solution |
| sourcesol | primal CIP solution to copy |
Definition at line 884 of file scip_sol.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPcreateCurrentSol(), SCIPsolCopy(), sol, and TRUE.
Referenced by bufferSolution(), constructValidSolution(), enforceCardinality(), fromCommandLine(), proposeFeasibleSolution(), sampleRandomPoints(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPsetBasePointClosecuts(), SCIPupdateStartpointHeurSubNlp(), and setAndUpdateCorePoint().
| SCIP_RETCODE SCIPcreateSolCopyOrig | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_SOL * | sourcesol ) |
creates a copy of a solution in the original primal solution space
| scip | SCIP data structure |
| sol | pointer to store the solution |
| sourcesol | primal CIP solution to copy |
Definition at line 924 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_ORIGINAL, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPcreateCurrentSol(), SCIPsolCopy(), SCIPsolSetOrigin(), sol, and TRUE.
Referenced by additionFilterBatch().
| SCIP_RETCODE SCIPcreateFiniteSolCopy | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_SOL * | sourcesol, | ||
| SCIP_Bool * | success ) |
creates a copy of a primal solution, thereby replacing infinite fixings of variables by finite values; the copy is always defined in the original variable space; success indicates whether the objective value of the solution was changed by removing infinite values
| scip | SCIP data structure |
| sol | pointer to store the solution |
| sourcesol | primal CIP solution to copy |
| success | does the finite solution have the same objective value? |
Definition at line 1116 of file scip_sol.c.
References assert(), FALSE, NULL, REALABS, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_FIXED, SCIPallocBufferArray, SCIPcheckStage, SCIPcreate(), SCIPcreateOrigSol(), SCIPdebugMsg, SCIPepsilon(), SCIPfree(), SCIPfreeBufferArray, SCIPgetFixedVars(), SCIPgetNFixedVars(), SCIPgetOrigVarsData(), SCIPgetSolOrigObj(), SCIPgetSolVals(), SCIPisEQ(), SCIPisInfinity(), SCIPprintSol(), SCIPsetSolVal(), SCIPvarGetLbGlobal(), SCIPvarGetLbOriginal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbOriginal(), setupAndSolveFiniteSolSubscip(), sol, TRUE, and var.
Referenced by freeTransform(), SCIP_DECL_DIALOGEXEC(), and SCIP_DECL_DIALOGEXEC().
| SCIP_RETCODE SCIPfreeSol | ( | SCIP * | scip, |
| SCIP_SOL ** | sol ) |
frees primal CIP solution
| scip | SCIP data structure |
| sol | pointer to the solution |
Definition at line 1252 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, SCIPsolFree(), sol, and TRUE.
| SCIP_RETCODE SCIPlinkLPSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
links a primal solution to the current LP solution
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1295 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPlpIsSolved(), SCIPsolLinkLPSol(), sol, and TRUE.
| SCIP_RETCODE SCIPlinkLPSolExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
links a primal solution to the current exact LP solution
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1324 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPlpExactIsSolved(), SCIPsolLinkLPSolExact(), sol, and TRUE.
| SCIP_RETCODE SCIPlinkNLPSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
links a primal solution to the current NLP solution
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1353 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_NLPSOLSTAT_FEASIBLE, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPnlpGetSolstat(), SCIPsolLinkNLPSol(), sol, and TRUE.
Referenced by SCIP_DECL_HEUREXEC().
| SCIP_RETCODE SCIPlinkRelaxSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
links a primal solution to the current relaxation solution
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1388 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPrelaxationIsSolValid(), SCIPsolLinkRelaxSol(), sol, and TRUE.
Referenced by performRelaxSimpleRounding().
| SCIP_RETCODE SCIPlinkPseudoSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
links a primal solution to the current pseudo solution
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1418 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolLinkPseudoSol(), sol, and TRUE.
| SCIP_RETCODE SCIPlinkCurrentSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
links a primal solution to the current LP or pseudo solution
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1441 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolLinkCurrentSol(), sol, and TRUE.
| SCIP_RETCODE SCIPclearSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
clears a primal solution
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1475 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolClear(), sol, and TRUE.
Referenced by sampleRandomPoints(), and SCIPtranslateSubSols().
| SCIP_RETCODE SCIPunlinkSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
stores solution values of variables in solution's own array
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1506 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolUnlink(), sol, and TRUE.
Referenced by additionFilterBatch(), bufferSolution(), constructValidSolution(), copyCurrentSolution(), if(), if(), performInteriorSolCutStrengthening(), proposeFeasibleSolution(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPperformGenericDivingAlgorithm(), SCIPretransformSol(), SCIPupdateStartpointHeurSubNlp(), setAndUpdateCorePoint(), and solveLp().
| SCIP_RETCODE SCIPunlinkSolExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
stores exact solution values of variables in solution's own array
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 1537 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolUnlinkExact(), sol, and TRUE.
Referenced by SCIPretransformSolExact().
| SCIP_RETCODE SCIPsetSolVal | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_VAR * | var, | ||
| SCIP_Real | val ) |
sets value of variable in primal CIP solution
| scip | SCIP data structure |
| sol | primal solution |
| var | variable to add to solution |
| val | solution value of variable |
Definition at line 1571 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolSetVal(), SCIPvarGetName(), SCIPvarIsTransformed(), sol, TRUE, and var.
Referenced by addInitialSolution(), applyOptcumulative(), applyRepair(), assignVars(), buildConvexCombination(), checkCands(), checkSystemGF2(), componentSetupWorkingSol(), computeInteriorPoint(), constructSolution(), constructValidSolution(), createCGMIPprimalsols(), createNewSol(), createSolFromNLP(), createSolFromNLP(), createSolFromSubScipSol(), createSolFromSubScipSol(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), AMPLProblemHandler::EndInput(), enfopsCons(), estimateConvexSecant(), estimateGradient(), fixDiscreteVars(), generateCloseCutPoint(), getNLPFracVars(), getSolFromFacet(), heurExec(), improvePoint(), initConcsolver(), initializeSol(), initProblem(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), MirReduction(), notifyNlhdlrNewsol(), AMPLProblemHandler::OnInitialValue(), optimize(), performInteriorSolCutStrengthening(), performRandRounding(), performSimpleRounding(), polishPrimalSolution(), readSolFile(), readXmlSolFile(), reoptimize(), reoptimize(), reuseSolution(), reuseSolution(), sampleRandomPoints(), 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_NLHDLRINITSEPA(), SCIP_DECL_VERTEXPOLYFUN(), SCIPaddNlRowGradientBenderscutOpt(), SCIPapplyHeurDualval(), SCIPcomputeLPRelIntPoint(), SCIPcreateFiniteSolCopy(), SCIPmakeIndicatorFeasible(), separateCuts(), setAndUpdateCorePoint(), setSolutionValues(), setupAndSolve(), setupAndSolveSubscipOneopt(), setVarToNearestBound(), solveAndEvalSubscip(), solveComponent(), solveLagromoryLP(), solveLPWithHardCuts(), solveNLP(), startProbing(), updateSlacks(), updateVariableRounding(), while(), while(), and while().
| SCIP_RETCODE SCIPsetSolValExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_VAR * | var, | ||
| SCIP_RATIONAL * | val ) |
sets exact value of variable in primal CIP solution
| scip | SCIP data structure |
| sol | primal solution |
| var | variable to add to solution |
| val | solution value of variable |
Definition at line 1616 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPsolIsExact(), SCIPsolIsOriginal(), SCIPsolSetValExact(), SCIPvarGetName(), SCIPvarIsTransformed(), sol, TRUE, and var.
Referenced by readSolFile(), and readXmlSolFile().
| SCIP_RETCODE SCIPsetSolVals | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| SCIP_Real * | vals ) |
sets values of multiple variables in primal CIP solution
| scip | SCIP data structure |
| sol | primal solution |
| nvars | number of variables to set solution value for |
| vars | array with variables to add to solution |
| vals | array with solution values of variables |
Definition at line 1662 of file scip_sol.c.
References assert(), FALSE, NULL, nvars, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolSetVal(), SCIPvarGetName(), SCIPvarIsTransformed(), sol, TRUE, and vars.
Referenced by computeOffValues(), createNewSol(), createNewSol(), createNewSol(), reuseSolution(), reuseSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIPtranslateSubSol(), and SCIPtranslateSubSols().
| SCIP_RETCODE SCIPincSolVal | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_VAR * | var, | ||
| SCIP_Real | incval ) |
increases value of variable in primal CIP solution
| scip | SCIP data structure |
| sol | primal solution |
| var | variable to increase solution value for |
| incval | increment for solution value of variable |
Definition at line 1719 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPerrorMessage, SCIPsolIncVal(), SCIPsolIsOriginal(), SCIPvarGetName(), SCIPvarIsTransformed(), sol, TRUE, and var.
Referenced by proposeFeasibleSolution().
returns value of variable in primal CIP solution, or in current LP/pseudo solution
sol is NULL, that means it is asked for the LP or pseudo solution, this method can only be called if scip is in the solving stage SCIP_STAGE_SOLVING. In any other case, this method can be called if scip is in one of the following stages:
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo solution |
| var | variable to get value for |
Definition at line 1765 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPsolGetVal(), SCIPtreeHasCurrentNodeLP(), SCIPvarGetSol(), sol, TRUE, and var.
Referenced by addBilinearTermToCut(), addBinaryConstraint(), addBranchingComplementaritiesSOS1(), addColToCut(), addCut(), addFacetToCut(), addInitialSolution(), addLinearTermToCut(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLowerBound(), addRltTerm(), addUpperBound(), adjustKernelVars(), analyzeViolation(), applyDomainReductions(), applyRepair(), branchBalancedCardinality(), branchingIntegralFirst(), branchOnVar(), branchUnbalancedCardinality(), buildConvexCombination(), buildMod2Matrix(), calcEfficacy(), calcEfficacy(), calcEfficacyDenseStorage(), calcEfficacyDenseStorageQuad(), calculateShift(), checkAndConss(), checkCands(), checkCons(), checkCons(), checkCons(), checkCons(), checkCons(), checkCons(), checkCons(), checkCons(), checkCumulativeCondition(), checkIntegralityExact(), checkOrigPbCons(), checkSetupTolerances(), checkSymresackSolution(), checkSystemGF2(), chooseGuidedVar(), collectBranchingCands(), collectEstLst(), collectSolActivities(), collectSolution(), computeConvexEnvelopeFacet(), computeCut(), computeCut(), computeInitialKnapsackCover(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), computeNogoodCut(), computeStandardIntegerOptCut(), consdataCheckSuperindicator(), consdataComputeSolActivityWithErrorbound(), consdataGetActivity(), consdataGetActivity(), consPrintConsSol(), consPrintConsSol(), constructSNFRelaxation(), constructValidSolution(), copyValues(), countKernelVariables(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createNAryBranch(), createNewSol(), createNewSol(), createProjRow(), createSelectedSortedEventpointsSol(), createSolFromSubScipSol(), createSolFromSubScipSol(), createSortedEventpointsSol(), createSubproblem(), createSubscip(), CUTOFF_CONSTRAINT(), CUTOFF_CONSTRAINT(), cutsTransformMIR(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), determineBestBounds(), determineBestBoundsSafely(), determineBound(), determineBoundForSNF(), determineFixings(), determineVariableFixings(), determineVariableFixings(), determineVariableFixings(), scipexamples::QueensSolver::disp(), doPricing(), doSeachEcAggr(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceConstraints(), enforceCuts(), enforceExpr(), enforceExprNlhdlr(), enforceIndicators(), enforceSol(), enforceSOS2(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradient(), estimateGradientInner(), estimateSpecialPower(), estimateUnivariateQuotient(), estimateVertexPolyhedral(), evalExprInAux(), executeHeuristic(), extendToCover(), extractVariablesMINLP(), fillKernels(), findMIRBestLb(), findMIRBestUb(), findSubtour(), fixDiscreteVars(), fixMatchingSolutionValues(), fixMatchingSolutionValues(), fixVariables(), generateCloseCutPoint(), generateClusterCuts(), generateCut(), generateCut(), generateZerohalfCut(), getBestEstimators(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getBranchingVerticesSOS1(), getClosestVlb(), getClosestVub(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getExprAbsAuxViolation(), getExprAbsOrigViolation(), getFixingValue(), getFixVal(), getNLPFracVars(), getPotential(), getPotentialContributed(), getRelDistance(), getSolutionValues(), getVectorOfWeights(), getViolSplitWeight(), handle1Cycle(), handleCycle(), heurExec(), if(), improvePoint(), initConcsolver(), intercutsComputeCommonQuantities(), isConsViolated(), isConsViolated(), isPossibleToComputeCut(), isQuadConsViolated(), isSolFeasible(), isViolatedAndNotFixed(), isViolatedSOS1(), LOPseparate(), main(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), maximalslack(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundLbSOS1(), nodeGetSolvalVarboundUbSOS1(), notifyNlhdlrNewsol(), optimize(), overEstimatePower(), performInteriorSolCutStrengthening(), performRandRounding(), polishPrimalSolution(), prepareSeparation(), proposeFeasibleSolution(), registerBranchingCandidates(), reoptimize(), reuseSolution(), reuseSolution(), rowprepCleanupImproveCoefrange(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPREVAL(), SCIP_DECL_EXPRFWDIFF(), 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_NLHDLRENFO(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbendersGetAuxiliaryVarVal(), SCIPbendersSetupSubproblem(), SCIPbendersSolSlackVarsActive(), SCIPcheckSolutionOrbisack(), SCIPcutGenerationHeuristicCMIR(), SCIPcycAddIncompleteSol(), SCIPcycPrintSolutionValues(), SCIPevalBilinAuxExprNonlinear(), SCIPevalExprQuadratic(), SCIPevalExprQuadraticAuxNonlinear(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetRowprepViolation(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPprintRowprepSol(), SCIPprintSolReaderFzn(), SCIPprintSolutionPbSolver(), SCIPprocessRowprepNonlinear(), SCIPseparateRelaxedKnapsack(), SCIPverifyCircularPatternNLP(), SCIPwriteCliqueGraph(), SCIPwriteSolutionNl(), scoreBranchingCandidates(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectNextDiving(), selectRounding(), selectShifting(), selectShifting(), selectVarStart(), sepaImplBoundCutsSOS1(), separateCons(), separateCoversOrbisack(), separateCuts(), separateCuts(), separateCuts(), separateGLS(), separateHeur(), separateIndicators(), separateMcCormickImplicit(), separateOddCycles(), separatePerspective(), separatePoint(), sepaSubtour(), setAltLPObj(), setSolutionValues(), setupAggregationData(), setupAndSolve(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipOneopt(), setVarToNearestBound(), solCreateSolAssignment(), solCutIsViolated(), solveAndEvalSubscip(), solveComponent(), solveCoveringProblem(), solveLp(), solveNLP(), solveSubNLP(), sparsifyIntercut(), startProbing(), storeAggrFromMIP(), TCLIQUE_NEWSOL(), tightenVariables(), transformNonIntegralRow(), translateSubSol(), tryFixVar(), underEstimatePower(), updateBestCandidate(), updateSlacks(), updateVarVals(), updateWeightsTCliquegraph(), visualizeSolutionAscii(), visualizeSolutionGnuplot(), visualizeSolutionGnuplot(), and visualizeSolutionMatplotlib().
| void SCIPgetSolValExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_VAR * | var, | ||
| SCIP_RATIONAL * | res ) |
gets value of variable in primal CIP solution, or in current LP/pseudo solution
sol is NULL, that means it is asked for the LP or pseudo solution, this method can only be called if scip is in the solving stage SCIP_STAGE_SOLVING. In any other case, this method can be called if scip is in one of the following stages:
gets value of variable in exact primal CIP solution, or in current LP/pseudo solution
sol is NULL, that means it is asked for the LP or pseudo solution, this method can only be called if scip is in the solving stage SCIP_STAGE_SOLVING. In any other case, this method can be called if scip is in one of the following stages:
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo solution |
| var | variable to get value for |
| res | resulting rational |
Definition at line 1803 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, SCIPsolGetValExact(), SCIPtreeHasCurrentNodeLP(), SCIPvarGetSolExact(), sol, TRUE, and var.
Referenced by checkIntegralityExact(), consdataGetActivity(), and consPrintConsSol().
| SCIP_RETCODE SCIPgetSolVals | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| SCIP_Real * | vals ) |
gets values of multiple variables in primal CIP solution
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo solution |
| nvars | number of variables to get solution value for |
| vars | array with variables to get value for |
| vals | array to store solution values of variables |
Definition at line 1846 of file scip_sol.c.
References assert(), FALSE, NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPgetVarSols(), SCIPsolGetVal(), sol, TRUE, and vars.
Referenced by alnsFixMoreVariables(), createNewSol(), LNSFixMoreVariables(), reoptimize(), reoptimize(), reuseSolution(), reuseSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPcreateFiniteSolCopy(), SCIPseparateKnapsackCuts(), SCIPsetNLPInitialGuessSol(), SCIPsetRelaxSolValsSol(), separateCuts(), and separateCuts().
returns objective value of primal CIP solution w.r.t. original problem, or current LP/pseudo objective value
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo objective value |
Definition at line 1892 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetObjval(), SCIPlpGetPseudoObjval(), SCIPprobExternObjval(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsOriginal(), SCIPtreeHasCurrentNodeLP(), sol, and TRUE.
Referenced by applyBoundHeur(), applyOptcumulative(), applyRepair(), applyVbounds(), computeStandardIntegerOptCut(), createNewSol(), createNewSol(), createSwitchSolution(), displayRelevantStats(), doPricing(), extractVariablesMINLP(), generateAndApplyBendersIntegerCuts(), if(), presolve(), presolveRound(), reoptimize(), reuseSolution(), reuseSolution(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), 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(), SCIPapplyHeurDualval(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersExec(), SCIPbendersExecSubproblemSolve(), SCIPbendersSolveSubproblem(), SCIPbendersSolveSubproblemLP(), SCIPcreateFiniteSolCopy(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPtranslateSubSols(), SCIPvisualFoundSolution(), setupAndSolveSubscipRapidlearning(), solveAndEvalSubscip(), solveComponent(), solveCoveringProblem(), visualizeSolutionAscii(), visualizeSolutionGnuplot(), visualizeSolutionGnuplot(), visualizeSolutionMatplotlib(), while(), while(), while(), and while().
| void SCIPgetSolOrigObjExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_RATIONAL * | res ) |
gets exact objective value of primal CIP solution w.r.t. original problem, or current LP/pseudo objective value
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo objective value |
| res | result pointer to store rational |
Definition at line 1940 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPbuffer(), SCIPcheckStage, SCIPlpExactGetObjval(), SCIPlpExactGetPseudoObjval(), SCIPprobExternObjvalExact(), SCIPrationalCreateBuffer(), SCIPrationalFreeBuffer(), SCIPrationalSetRational(), SCIPsolGetObjExact(), SCIPsolGetOrigObjExact(), SCIPsolIsExact(), SCIPsolIsOriginal(), SCIPtreeHasCurrentNodeLP(), sol, and TRUE.
returns transformed objective value of primal CIP solution, or transformed current LP/pseudo objective value
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo objective value |
Definition at line 2005 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPlpGetObjval(), SCIPlpGetPseudoObjval(), SCIPsolGetObj(), SCIPtreeHasCurrentNodeLP(), sol, and TRUE.
Referenced by addTrustRegionConstraints(), applyHeur(), isDisplaySol(), proposeFeasibleSolution(), sampleRandomPoints(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPapplyProximity(), SCIPheurSyncPassSol(), SCIPtranslateSubSols(), SCIPupdateStartpointHeurSubNlp(), SCIPvisualFoundSolution(), separateCuts(), solveComponent(), transferSolution(), tryOneOpt(), trySolCandidate(), and updateSubproblemLowerbound().
| void SCIPgetSolTransObjExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_RATIONAL * | res ) |
gets transformed objective value of primal CIP solution, or transformed current LP/pseudo objective value
gets exact transformed objective value of primal CIP solution, or transformed current exact LP/pseudo objective value
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo objective value |
| res | result pointer to store rational |
Definition at line 2042 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpExactGetObjval(), SCIPlpExactGetPseudoObjval(), SCIPsolGetObjExact(), SCIPtreeHasCurrentNodeLP(), sol, and TRUE.
| SCIP_RETCODE SCIPrecomputeSolObj | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
recomputes the objective value of an original solution, e.g., when transferring solutions from the solution pool (objective coefficients might have changed in the meantime)
Definition at line 2077 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolIsExact(), SCIPsolRecomputeInternObjExact(), SCIPsolRecomputeObj(), sol, and TRUE.
Referenced by SCIP_DECL_HEUREXEC(), and SCIPtransformProb().
maps original space objective value into transformed objective value
| scip | SCIP data structure |
| obj | original space objective value to transform |
Definition at line 2111 of file scip_sol.c.
References FALSE, obj, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPprobInternObjval(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPsetObjlimit().
maps transformed objective value into original space
| scip | SCIP data structure |
| obj | transformed objective value to retransform in original space |
Definition at line 2136 of file scip_sol.c.
References FALSE, obj, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPprobExternObjval(), and TRUE.
Referenced by calcGap(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersSolveSubproblemLP(), SCIPcollectRootStatistics(), SCIPperformGenericDivingAlgorithm(), SCIPprintRootStatistics(), SCIPprintSolutionStatistics(), SCIPvisualCutoffNode(), SCIPvisualLowerbound(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPvisualUpperbound(), setupAndSolveSubscipRapidlearning(), setupSubScip(), solveComponent(), while(), while(), while(), and writeExpandedSolutions().
gets clock time, when this solution was found
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 2163 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPsolGetTime(), sol, and TRUE.
gets branch and bound run number, where this solution was found
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 2193 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, SCIPsolGetRunnum(), sol, and TRUE.
| SCIP_Longint SCIPgetSolNodenum | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
gets node number of the specific branch and bound run, where this solution was found
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 2223 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_Longint, SCIPcheckStage, SCIPsolGetNodenum(), sol, and TRUE.
Referenced by SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), and SCIP_DECL_HEUREXEC().
gets heuristic, that found this solution (or NULL if it's from the tree)
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 2253 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, SCIPsolGetHeur(), sol, and TRUE.
Referenced by determineVariableFixings(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), and SCIPupdateStartpointHeurSubNlp().
returns whether two given solutions are exactly equal
| scip | SCIP data structure |
| sol1 | first primal CIP solution |
| sol2 | second primal CIP solution |
Definition at line 2284 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Sol::scip, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, SCIPsolsAreEqual(), and TRUE.
| SCIP_RETCODE SCIPadjustImplicitSolVals | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Bool | uselprows ) |
adjusts solution values of implied integral variables in handed solution, solution objective value is not deteriorated by this method
| scip | SCIP data structure |
| sol | primal CIP solution |
| uselprows | should LP row information be considered for none-objective variables |
Definition at line 2309 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolAdjustImplicitSolVals(), sol, and TRUE.
Referenced by performSimpleRounding().
| SCIP_RETCODE SCIPprintSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| FILE * | file, | ||
| SCIP_Bool | printzeros ) |
outputs non-zero variables of solution in original problem space to the given file stream
sol is NULL (askinking for the current LP/pseudo solution), this method can be called if scip is in one of the following stages:
sol is not NULL, this method can be called if scip is in one of the following stages:
outputs non-zero variables of solution in original problem space to the given file stream
sol is NULL (asking for the current LP/pseudo solution), this method can be called if scip is in one of the following stages:
sol is not NULL, this method can be called if scip is in one of the following stages:
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo solution |
| file | output file (or NULL for standard output) |
| printzeros | should variables set to zero be printed? |
Definition at line 2353 of file scip_sol.c.
References assert(), FALSE, NULL, objval, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPisExact(), SCIPisTransformed(), SCIPmessageFPrintInfo(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), SCIPprintReal(), SCIPprintSolExact(), SCIPprobExternObjval(), SCIPsolCreateCurrentSol(), SCIPsolFree(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsExact(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolPrint(), sol, and TRUE.
Referenced by checkSystemGF2(), createCGCutDirect(), doPricing(), enforceConstraint(), enforceConstraint(), enforceSol(), fromCommandLine(), if(), performRandRounding(), performSimpleRounding(), resolveNLPWithTighterFeastol(), runBrachistochrone(), runPacking(), runSpring(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), 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(), SCIPbendersExec(), SCIPbendersSolveSubproblemLP(), SCIPcreateFiniteSolCopy(), SCIPprintBestSol(), SCIPwriteSolutionNl(), searchEcAggrWithMIP(), separateCuts(), separateCuts(), solveCoveringProblem(), and trySolCandidate().
| SCIP_RETCODE SCIPprintSolExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| FILE * | file, | ||
| SCIP_Bool | printzeros ) |
print a rational solution
print an exact solution
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo solution |
| file | output file (or NULL for standard output) |
| printzeros | should variables set to zero be printed? |
Definition at line 2428 of file scip_sol.c.
References assert(), FALSE, NULL, objval, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPallocBufferArray, SCIPbuffer(), SCIPcheckStage, SCIPfreeBufferArray, SCIPisTransformed(), SCIPmessageFPrintInfo(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), SCIPprobExternObjvalExact(), SCIPrationalCreateBuffer(), SCIPrationalFreeBuffer(), SCIPrationalSetRational(), SCIPrationalStrLen(), SCIPrationalToString(), SCIPsolCreateCurrentSolExact(), SCIPsolFree(), SCIPsolGetObjExact(), SCIPsolGetOrigObjExact(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolPrintExact(), sol, and TRUE.
Referenced by fromCommandLine(), and SCIPprintSol().
| SCIP_RETCODE SCIPprintTransSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| FILE * | file, | ||
| SCIP_Bool | printzeros ) |
outputs non-zero variables of solution in transformed problem space to file stream
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo solution |
| file | output file (or NULL for standard output) |
| printzeros | should variables set to zero be printed? |
Definition at line 2525 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPmessageFPrintInfo(), SCIPprintReal(), SCIPsolCreateCurrentSol(), SCIPsolFree(), SCIPsolGetObj(), SCIPsolIsOriginal(), SCIPsolPrint(), sol, and TRUE.
Referenced by SCIP_DECL_NLHDLRENFO(), and SCIPprintBestTransSol().
| SCIP_RETCODE SCIPprintMIPStart | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| FILE * | file ) |
outputs discrete variables of solution in original problem space to the given file stream
scip is in one of the following stages:
| scip | SCIP data structure |
| sol | primal solution |
| file | output file (or NULL for standard output) |
Definition at line 2584 of file scip_sol.c.
References assert(), FALSE, NULL, objval, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage, SCIPmessageFPrintInfo(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), SCIPprintReal(), SCIPprobExternObjval(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolPrint(), sol, and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC().
| SCIP_RETCODE SCIPgetDualSolVal | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Real * | dualsolval, | ||
| SCIP_Bool * | boundconstraint ) |
returns dual solution value of a constraint
| scip | SCIP data structure |
| cons | constraint for which the dual solution should be returned |
| dualsolval | pointer to store the dual solution value |
| boundconstraint | pointer to store whether the constraint is a bound constraint (or NULL) |
Definition at line 2627 of file scip_sol.c.
References assert(), NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_INVALID, SCIP_OBJSENSE_MAXIMIZE, SCIP_OKAY, SCIP_Real, SCIPconsGetHdlr(), SCIPconsGetNVars(), SCIPconsGetTransformed(), SCIPconshdlrGetName(), SCIPconsIsTransformed(), SCIPgetDualsolLinear(), SCIPgetLhsLinear(), SCIPgetObjsense(), SCIPgetRhsLinear(), SCIPgetValsLinear(), SCIPgetVarRedcost(), SCIPgetVarsLinear(), SCIPsetIsEQ(), SCIPvarGetLPSol(), and vars.
Referenced by printDualSol().
check whether the dual solution is available
| scip | SCIP data structure |
| printreason | print warning message if dualsol is not available? |
Definition at line 2756 of file scip_sol.c.
References assert(), c, FALSE, NULL, SCIP_Bool, SCIP_CALL_ABORT, SCIP_STAGE_SOLVED, SCIPcheckStage, SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPgetStage(), SCIPmessageFPrintInfo(), SCIPwarningMessage(), and TRUE.
Referenced by SCIPprintDualSol().
| SCIP_RETCODE SCIPprintDualSol | ( | SCIP * | scip, |
| FILE * | file, | ||
| SCIP_Bool | printzeros ) |
outputs dual solution from LP solver to file stream
outputs dual solution from LP solver to file stream
| scip | SCIP data structure |
| file | output file (or NULL for standard output) |
| printzeros | should variables set to zero be printed? |
Definition at line 2819 of file scip_sol.c.
References printDualSol(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPisDualSolAvailable(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC().
| SCIP_RETCODE SCIPprintRay | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| FILE * | file, | ||
| SCIP_Bool | printzeros ) |
outputs non-zero variables of solution representing a ray in original problem space to file stream
| scip | SCIP data structure |
| sol | primal solution representing ray |
| file | output file (or NULL for standard output) |
| printzeros | should variables set to zero be printed? |
Definition at line 2852 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPsolPrintRay(), sol, and TRUE.
Referenced by setupAndSolve(), and updatePrimalRay().
| int SCIPgetNSols | ( | SCIP * | scip | ) |
gets number of feasible primal solutions stored in the solution storage in case the problem is transformed; in case the problem stage is SCIP_STAGE_PROBLEM, the number of solution in the original solution candidate storage is returned
| scip | SCIP data structure |
Definition at line 2889 of file scip_sol.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.
Referenced by applyHeur(), applyRepair(), checkEstimateCriterion(), checkLogCriterion(), checkRankOneTransition(), createCGCuts(), createNLP(), createSubproblem(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), determineSolvingPhase(), determineVariableFixings(), determineVariableFixings(), doPricing(), doSolveSubMIP(), executeDivingHeuristic(), extractVariablesMINLP(), initConcsolver(), initializeCandsLists(), presolve(), presolveRound(), reoptimize(), reuseSolution(), reuseSolution(), runBrachistochrone(), runPacking(), runSpring(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETAVAILABLE(), 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_SEPAEXECLP(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPapplyRedSize(), SCIPtranslateSubSols(), SCIPvalidateSolve(), SCIPvalidateSolveExact(), SCIPverifyCircularPatternNLP(), searchEcAggrWithMIP(), selectSolsRandomized(), setupAndSolve(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipRapidlearning(), solveAndEvalSubscip(), solveCoveringProblem(), solveSubNLP(), solveSubproblem(), solveSubscipLpface(), storeAggrFromMIP(), transformSols(), and wrapperDins().
gets array of feasible primal solutions stored in the solution storage in case the problem is transformed; in case if the problem stage is in SCIP_STAGE_PROBLEM, it returns the number array of solution candidate stored
| scip | SCIP data structure |
Definition at line 2938 of file scip_sol.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, and TRUE.
Referenced by createCGCuts(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), determineVariableFixings(), determineVariableFixings(), doPricing(), doSolveSubMIP(), fixVariables(), reuseSolution(), reuseSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyRedSize(), SCIPtranslateSubSols(), selectSolsRandomized(), setupAndSolve(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipRapidlearning(), solveSubNLP(), solveSubproblem(), and transformSols().
gets best feasible primal solution found so far if the problem is transformed; in case the problem is in SCIP_STAGE_PROBLEM it returns the best solution candidate, or NULL if no solution has been found or the candidate store is empty;
| scip | SCIP data structure |
Definition at line 2988 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, and TRUE.
Referenced by addInitialSolution(), additionFilterBatch(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addTrustRegionConstraints(), adjustKernelVars(), applyHeur(), applyRepair(), calculateShift(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), computeStandardIntegerOptCut(), createSubscip(), createSwitchSolution(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_NHREFSOL(), DECL_NHREFSOL(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), decompHorizonBlockUsedRecently(), decompHorizonGetFirstPosBestPotential(), decompHorizonNext(), determineFixings(), determineVariableFixings(), determineVariableFixings(), determineVariableFixings(), determineVariableFixingsDecomp(), scipexamples::QueensSolver::disp(), displayRelevantStats(), execRelpscost(), executeDivingHeuristic(), extractVariablesMINLP(), fixAndPropagate(), fromCommandLine(), getFixingValue(), initConcsolver(), main(), masterSolutionExists(), maximalslack(), performInteriorSolCutStrengthening(), presolve(), presolveRound(), reoptimize(), reoptimize(), runBenders(), runBrachistochrone(), runPacking(), runSpring(), SCIP_DECL_CONSEXIT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETAVAILABLE(), SCIP_DECL_EVENTEXEC(), 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_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPaddCurrentSol(), SCIPaddSol(), SCIPaddSolFree(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPbendersExecSubproblemSolve(), SCIPbendersSolSlackVarsActive(), SCIPbendersSolveSubproblem(), SCIPcertificatePrintResult(), SCIPprintBestSol(), SCIPprintBestTransSol(), SCIPprintSolutionPbSolver(), SCIPtransformProb(), SCIPtryCurrentSol(), SCIPtrySol(), SCIPtrySolFree(), SCIPtrySolFreeExact(), SCIPvalidateSolve(), SCIPvalidateSolveExact(), SCIPverifyCircularPatternNLP(), SCIPwriteSolutionNl(), scoring(), scoring(), scoring(), searchEcAggrWithMIP(), selectInitialVariableDecomposition(), selectInitialVariableRandomly(), setAndUpdateCorePoint(), setSolutionValues(), setupAndSolve(), setupAndSolve(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipCrossover(), solveAndEvalSubscip(), solveBendersSubproblems(), solveComponent(), solveCoveringProblem(), solveSubscipLpface(), storeAggrFromMIP(), transferSolution(), and transferSolution().
| SCIP_RETCODE SCIPprintBestSol | ( | SCIP * | scip, |
| FILE * | file, | ||
| SCIP_Bool | printzeros ) |
outputs best feasible primal solution found so far to file stream
outputs best feasible primal solution found so far to file stream
| scip | SCIP data structure |
| file | output file (or NULL for standard output) |
| printzeros | should variables set to zero be printed? |
Definition at line 3054 of file scip_sol.c.
References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPgetBestSol(), SCIPmessageFPrintInfo(), SCIPprintSol(), sol, and TRUE.
Referenced by execmain(), fromCommandLine(), fromCommandLine(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIPprintSolutionPbSolver(), and solveSubscip().
| SCIP_RETCODE SCIPprintBestTransSol | ( | SCIP * | scip, |
| FILE * | file, | ||
| SCIP_Bool | printzeros ) |
outputs best feasible primal solution found so far in transformed variables to file stream
| scip | SCIP data structure |
| file | output file (or NULL for standard output) |
| printzeros | should variables set to zero be printed? |
Definition at line 3094 of file scip_sol.c.
References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPgetBestSol(), SCIPmessageFPrintInfo(), SCIPprintTransSol(), SCIPsolIsOriginal(), sol, and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC().
| SCIP_RETCODE SCIProundSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Bool * | success ) |
try to round given solution
| scip | SCIP data structure |
| sol | primal solution |
| success | pointer to store whether rounding was successful |
Definition at line 3130 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolRound(), sol, and TRUE.
Referenced by applyBoundHeur(), applyVbounds(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), SCIPtryStrongbranchLPSol(), solveNLP(), and while().
| SCIP_RETCODE SCIPmakeSolExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
copy the fp values to the exact arrays of the solution
| scip | SCIP data structure |
| sol | primal solution |
Definition at line 3153 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_ORIGINAL, SCIPcheckStage, SCIPsolGetOrigin(), SCIPsolIsExact(), SCIPsolMakeExact(), sol, and TRUE.
Referenced by certificatePrintSol(), and SCIPcertificatePrintResult().
| SCIP_RETCODE SCIPretransformSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
retransforms solution to original problem space
retransforms solution to original problem space
| scip | SCIP data structure |
| sol | primal CIP solution |
Definition at line 3189 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_ERROR, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_SOLORIGIN_LPSOL, SCIP_SOLORIGIN_NLPSOL, SCIP_SOLORIGIN_ORIGINAL, SCIP_SOLORIGIN_PARTIAL, SCIP_SOLORIGIN_PSEUDOSOL, SCIP_SOLORIGIN_RELAXSOL, SCIP_SOLORIGIN_UNKNOWN, SCIP_SOLORIGIN_ZERO, SCIPcheckStage, SCIPerrorMessage, SCIPsolGetOrigin(), SCIPsolRetransform(), SCIPunlinkSol(), sol, and TRUE.
Referenced by fromCommandLine().
| SCIP_RETCODE SCIPretransformSolExact | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
retransforms exact solution to original problem space
retransforms exact solution to original problem space
| scip | SCIP data structure |
| sol | primal CIP solution |
Definition at line 3252 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_ERROR, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_SOLORIGIN_LPSOL, SCIP_SOLORIGIN_NLPSOL, SCIP_SOLORIGIN_ORIGINAL, SCIP_SOLORIGIN_PARTIAL, SCIP_SOLORIGIN_PSEUDOSOL, SCIP_SOLORIGIN_RELAXSOL, SCIP_SOLORIGIN_UNKNOWN, SCIP_SOLORIGIN_ZERO, SCIPcheckStage, SCIPerrorMessage, SCIPsolGetOrigin(), SCIPsolRetransformExact(), SCIPunlinkSolExact(), sol, and TRUE.
Referenced by SCIPcertificatePrintResult().
| SCIP_RETCODE SCIPreadSol | ( | SCIP * | scip, |
| const char * | filename ) |
reads a given solution file
| scip | SCIP data structure |
| filename | name of the input file |
Definition at line 3313 of file scip_sol.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPreadProb(), and TRUE.
| SCIP_RETCODE SCIPreadSolFile | ( | SCIP * | scip, |
| const char * | filename, | ||
| SCIP_SOL * | sol, | ||
| SCIP_Bool | xml, | ||
| SCIP_Bool * | partial, | ||
| SCIP_Bool * | error ) |
reads a given solution file and store the solution values in the given solution pointer
| scip | SCIP data structure |
| filename | name of the input file |
| sol | solution pointer |
| xml | true, iff the given solution in written in XML |
| partial | pointer to store if the solution is partial |
| error | pointer store if an error occured |
Definition at line 3809 of file scip_sol.c.
References FALSE, readSolFile(), readXmlSolFile(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, sol, and TRUE.
Referenced by readMst(), readSol(), and SCIP_DECL_HEUREXEC().
| SCIP_RETCODE SCIPaddSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Bool * | stored ) |
adds feasible primal solution to solution storage by copying it
| scip | SCIP data structure |
| sol | primal CIP solution |
| stored | stores whether given solution was good enough to keep |
Definition at line 3849 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddOrigSol(), SCIPprimalAddSol(), SCIPsolIsOriginal(), SCIPstoreSolutionGap(), sol, and TRUE.
Referenced by createOriginalSolution(), and solveComponent().
| SCIP_RETCODE SCIPaddSolFree | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_Bool * | stored ) |
adds primal solution to solution storage, frees the solution afterwards
| scip | SCIP data structure |
| sol | pointer to primal CIP solution; is cleared in function call |
| stored | stores whether given solution was good enough to keep |
Definition at line 3916 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddOrigSolFree(), SCIPprimalAddSolFree(), SCIPsolIsOriginal(), SCIPstoreSolutionGap(), sol, and TRUE.
Referenced by applyRepair(), AMPLProblemHandler::EndInput(), initConcsolver(), readMst(), readSol(), reuseSolution(), reuseSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), and SCIPtranslateSubSols().
| SCIP_RETCODE SCIPaddCurrentSol | ( | SCIP * | scip, |
| SCIP_HEUR * | heur, | ||
| SCIP_Bool * | stored ) |
adds current LP/pseudo solution to solution storage
| scip | SCIP data structure |
| heur | heuristic that found the solution |
| stored | stores whether given solution was good enough to keep |
Definition at line 3979 of file scip_sol.c.
References FALSE, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPgetBestSol(), SCIPprimalAddCurrentSol(), SCIPstoreSolutionGap(), and TRUE.
| SCIP_RETCODE SCIPtrySol | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Bool | printreason, | ||
| SCIP_Bool | completely, | ||
| SCIP_Bool | checkbounds, | ||
| SCIP_Bool | checkintegrality, | ||
| SCIP_Bool | checklprows, | ||
| SCIP_Bool * | stored ) |
checks solution for feasibility; if possible, adds it to storage by copying
| scip | SCIP data structure |
| sol | primal CIP solution |
| printreason | Should all reasons of violation be printed? |
| completely | Should all violations be checked if printreason is true? |
| checkbounds | Should the bounds of the variables be checked? |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| stored | stores whether given solution was feasible and good enough to keep |
Definition at line 4019 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddSol(), SCIPprimalTrySol(), SCIPsolCheckOrig(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPstoreSolutionGap(), sol, and TRUE.
Referenced by applyBoundHeur(), applyVbounds(), createNewSol(), enforceCardinality(), if(), if(), performRandRounding(), performSimpleRounding(), 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(), SCIPperformGenericDivingAlgorithm(), solveLp(), solveSubproblem(), and while().
| SCIP_RETCODE SCIPtrySolFree | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_Bool | printreason, | ||
| SCIP_Bool | completely, | ||
| SCIP_Bool | checkbounds, | ||
| SCIP_Bool | checkintegrality, | ||
| SCIP_Bool | checklprows, | ||
| SCIP_Bool * | stored ) |
checks primal solution; if feasible, adds it to storage; solution is freed afterwards
| scip | SCIP data structure |
| sol | pointer to primal CIP solution; is cleared in function call |
| printreason | Should all reasons of violations be printed |
| completely | Should all violations be checked if printreason is true? |
| checkbounds | Should the bounds of the variables be checked? |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| stored | stores whether solution was feasible and good enough to keep |
Definition at line 4116 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddSolFree(), SCIPprimalTrySolFree(), SCIPsolCheckOrig(), SCIPsolFree(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPstoreSolutionGap(), sol, and TRUE.
Referenced by addInitialSolution(), applyOptcumulative(), createCGMIPprimalsols(), createNewSol(), createNewSol(), createNewSol(), createSwitchSolution(), executeHeuristic(), heurExec(), presolve(), processNLPSol(), readSol(), reoptimize(), 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_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPcycAddIncompleteSol(), SCIPtryStrongbranchLPSol(), setupAndSolve(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipOneopt(), setupAndSolveSubscipRapidlearning(), solveSubNLP(), storeSolution(), transferSolution(), transferSolution(), tryOneOpt(), and trySolCandidate().
| SCIP_RETCODE SCIPtryCurrentSol | ( | SCIP * | scip, |
| SCIP_HEUR * | heur, | ||
| SCIP_Bool | printreason, | ||
| SCIP_Bool | completely, | ||
| SCIP_Bool | checkintegrality, | ||
| SCIP_Bool | checklprows, | ||
| SCIP_Bool * | stored ) |
checks current LP/pseudo solution for feasibility; if possible, adds it to storage
| scip | SCIP data structure |
| heur | heuristic that found the solution |
| printreason | Should all reasons of violations be printed? |
| completely | Should all violations be checked if printreason is true? |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| stored | stores whether given solution was feasible and good enough to keep |
Definition at line 4214 of file scip_sol.c.
References FALSE, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalTryCurrentSol(), SCIPsolCheckOrig(), SCIPstoreSolutionGap(), and TRUE.
Referenced by SCIP_DECL_HEUREXEC().
returns all partial solutions
| scip | SCIP data structure |
Definition at line 4270 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.
Referenced by SCIP_DECL_HEUREXEC().
| int SCIPgetNPartialSols | ( | SCIP * | scip | ) |
returns number of partial solutions
| scip | SCIP data structure |
Definition at line 4292 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.
Referenced by SCIP_DECL_HEUREXEC().
| SCIP_RETCODE SCIPcheckSol | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Bool | printreason, | ||
| SCIP_Bool | completely, | ||
| SCIP_Bool | checkbounds, | ||
| SCIP_Bool | checkintegrality, | ||
| SCIP_Bool | checklprows, | ||
| SCIP_Bool * | feasible ) |
checks solution for feasibility without adding it to the solution store
| scip | SCIP data structure |
| sol | primal CIP solution |
| printreason | Should all reasons of violations be printed? |
| completely | Should all violations be checked if printreason is true? |
| checkbounds | Should the bounds of the variables be checked? |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| feasible | stores whether given solution is feasible |
Definition at line 4319 of file scip_sol.c.
References assert(), checkSolOrigExact(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPisExact(), SCIPsolCheck(), SCIPsolCheckOrig(), SCIPsolIsOriginal(), SCIPsolIsPartial(), sol, and TRUE.
Referenced by applyVbounds(), checkSystemGF2(), constructValidSolution(), createOriginalSolution(), processNLPSol(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_HEUREXEC(), SCIPtranslateSubSols(), solveAndEvalSubscip(), solveComponent(), solveSubNLP(), and transferSolution().
| SCIP_RETCODE SCIPcheckSolOrig | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Bool * | feasible, | ||
| SCIP_Bool | printreason, | ||
| SCIP_Bool | completely ) |
checks solution for feasibility in original problem without adding it to the solution store; this method is used to double check a solution in order to validate the presolving process
| scip | SCIP data structure |
| sol | primal CIP solution |
| feasible | stores whether given solution is feasible |
| printreason | should the reason for the violation be printed? |
| completely | Should all violations be checked if printreason is true? |
Definition at line 4387 of file scip_sol.c.
References assert(), checkSolOrigExact(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPisExact(), SCIPsolCheckOrig(), SCIPsolIsPartial(), sol, and TRUE.
Referenced by checkSolutionOrig(), displayRelevantStats(), doPricing(), SCIP_DECL_DIALOGEXEC(), SCIPprintSolutionPbSolver(), SCIPsolveCIP(), SCIPvalidateSolve(), SCIPvalidateSolveExact(), solveAndEvalSubscip(), and solveComponent().
update integrality violation of a solution
| scip | SCIP data structure |
| sol | primal CIP solution |
| absviol | absolute violation |
Definition at line 406 of file scip_sol.c.
References assert(), NULL, SCIP_Real, SCIPprimalUpdateViolations(), SCIPsolUpdateIntegralityViolation(), and sol.
Referenced by SCIP_DECL_CONSCHECK().
| void SCIPupdateSolBoundViolation | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Real | absviol, | ||
| SCIP_Real | relviol ) |
update bound violation of a solution
| scip | SCIP data structure |
| sol | primal CIP solution |
| absviol | absolute violation |
| relviol | relative violation |
Definition at line 421 of file scip_sol.c.
References assert(), NULL, SCIP_Real, SCIPprimalUpdateViolations(), SCIPsolUpdateBoundViolation(), and sol.
Referenced by checkSolOrig().
| void SCIPupdateSolLPRowViolation | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Real | absviol, | ||
| SCIP_Real | relviol ) |
update LP row violation of a solution
| scip | SCIP data structure |
| sol | primal CIP solution |
| absviol | absolute violation |
| relviol | relative violation |
Definition at line 437 of file scip_sol.c.
References assert(), NULL, SCIP_Real, SCIPprimalUpdateViolations(), SCIPsolUpdateLPRowViolation(), and sol.
| void SCIPupdateSolConsViolation | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Real | absviol, | ||
| SCIP_Real | relviol ) |
update constraint violation of a solution
| scip | SCIP data structure |
| sol | primal CIP solution |
| absviol | absolute violation |
| relviol | relative violation |
Definition at line 453 of file scip_sol.c.
References assert(), NULL, SCIP_Real, SCIPprimalUpdateViolations(), SCIPsolUpdateConsViolation(), and sol.
Referenced by checkAllConss(), checkCons(), checkCons(), checkCons(), checkCons(), checkCumulativeCondition(), checkOrigPbCons(), isConsViolated(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSCHECK().
| void SCIPupdateSolLPConsViolation | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| SCIP_Real | absviol, | ||
| SCIP_Real | relviol ) |
update LP row and constraint violations of a solution
| scip | SCIP data structure |
| sol | primal CIP solution |
| absviol | absolute violation |
| relviol | relative violation |
Definition at line 469 of file scip_sol.c.
References assert(), NULL, SCIP_Real, SCIPprimalUpdateViolations(), SCIPsolUpdateLPConsViolation(), and sol.
Referenced by checkCons(), checkCons(), checkCons(), checkCons(), checkCons(), and isConsViolated().
| void SCIPactivateSolViolationUpdates | ( | SCIP * | scip | ) |
allow violation updates
| scip | SCIP data structure |
Definition at line 485 of file scip_sol.c.
References SCIPprimalSetUpdateViolations(), and TRUE.
Referenced by checkCons().
| void SCIPdeactivateSolViolationUpdates | ( | SCIP * | scip | ) |
disallow violation updates
| scip | SCIP data structure |
Definition at line 493 of file scip_sol.c.
References FALSE, and SCIPprimalSetUpdateViolations().
Referenced by checkCons().
return whether a primal ray is stored that proves unboundedness of the LP relaxation
| scip | SCIP data structure |
Definition at line 4434 of file scip_sol.c.
References FALSE, NULL, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.
Referenced by setupAndSolve().
gets value of given variable in primal ray causing unboundedness of the LP relaxation; should only be called if such a ray is stored (check with SCIPhasPrimalRay())
| scip | SCIP data structure |
| var | variable to get value for |
Definition at line 4452 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPsolGetRayVal(), TRUE, and var.
Referenced by setupAndSolve().
| SCIP_RETCODE SCIPupdatePrimalRay | ( | SCIP * | scip, |
| SCIP_SOL * | primalray ) |
updates the primal ray thats proves unboundedness
scip is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
| scip | SCIP data structure |
| primalray | the new primal ray |
Definition at line 4480 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprimalUpdateRay(), and TRUE.
Referenced by setupAndSolve().
| SCIP_RETCODE SCIPoverwriteFPsol | ( | SCIP * | scip, |
| SCIP_SOL * | sol ) |
overwrite the fp-values in a solution with the rounded exact ones
| scip | SCIP data structure |
| sol | primal CIP solution |
Definition at line 4496 of file scip_sol.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_CALL_ABORT, SCIP_OKAY, SCIPcheckStage, SCIPsolOverwriteFPSolWithExact(), sol, and TRUE.
Referenced by SCIP_DECL_CONSCHECK().
| SCIP_RETCODE SCIPtrySolFreeExact | ( | SCIP * | scip, |
| SCIP_SOL ** | sol, | ||
| SCIP_Bool | printreason, | ||
| SCIP_Bool | completely, | ||
| SCIP_Bool | checkbounds, | ||
| SCIP_Bool | checkintegrality, | ||
| SCIP_Bool | checklprows, | ||
| SCIP_Bool * | stored ) |
checks exact primal solution; if feasible, adds it to storage; solution is freed afterwards
| scip | SCIP data structure |
| sol | pointer to primal CIP solution; is cleared in function call |
| printreason | Should all reasons of violations be printed |
| completely | Should all violations be checked if printreason is true? |
| checkbounds | Should the bounds of the variables be checked? |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| stored | stores whether solution was feasible and good enough to keep |
Definition at line 4527 of file scip_sol.c.
References assert(), checkSolOrig(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_PRESOLVING, SCIPcheckStage, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddSolFreeExact(), SCIPprimalTrySolFreeExact(), SCIPsolFree(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolRetransform(), SCIPsolUnlink(), SCIPstoreSolutionGap(), sol, and TRUE.
Referenced by presolve(), and SCIP_DECL_CONSCHECK().
1.15.0