RetroSearch Browse

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://scip.zib.de/doc/html/group__PublicSolutionMethods.php below:

SCIP Doxygen Documentation: Primal Solution

methods to create and change primal solutions of SCIP

returns whether the given solution is defined on original variables

Parameters

Definition at line 2721 of file sol.c.

References NULL, SCIP_SOLORIGIN_ORIGINAL, SCIP_SOLORIGIN_PARTIAL, and SCIP_Sol::solorigin.

Referenced by executeDivingHeuristic(), freeTransform(), origsolOfInterest(), primalAddSol(), primalExistsSol(), primalSearchSolPos(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETAVAILABLE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIPaddSol(), SCIPaddSolFree(), SCIPapplyProximity(), SCIPcheckSol(), SCIPgetSolOrigObj(), SCIPgetSolVarsData(), SCIPincSolVal(), SCIPprimalAddOrigSol(), SCIPprimalAddOrigSolFree(), SCIPprimalTransformSol(), SCIPprimalUpdateObjoffset(), SCIPprimalUpdateVarObj(), SCIPprintBestTransSol(), SCIPprintMIPStart(), SCIPprintSol(), SCIPprintTransSol(), SCIProundSol(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPsolCheck(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRecomputeObj(), SCIPsolRound(), SCIPsolsAreEqual(), SCIPsolSetVal(), SCIPsolTransform(), SCIPsolUnlink(), SCIPsolUpdateVarObj(), SCIPsolUpdateVarsum(), SCIPsolve(), SCIPtrySol(), SCIPtrySolFree(), separateSolution(), and transformSols().

◆ SCIPsolIsPartial()

returns whether the given solution is partial

returns whether the given solution is defined on original variables and containes unknown solution values

Parameters

Definition at line 2731 of file sol.c.

References NULL, SCIP_SOLORIGIN_PARTIAL, and SCIP_Sol::solorigin.

Referenced by readSol(), readSolFile(), readXmlSolFile(), SCIP_DECL_HEUREXEC(), SCIPcheckSol(), SCIPcheckSolOrig(), SCIPprimalAddOrigSol(), SCIPprimalAddOrigSolFree(), SCIPprimalAddSol(), SCIPprintMIPStart(), SCIPprintSol(), SCIPsolPrint(), SCIPsolSetVal(), SCIPtrySol(), and SCIPtrySolFree().

◆ SCIPsolGetOrigObj()

gets objective value of primal CIP solution which lives in the original problem space

Parameters

Definition at line 2741 of file sol.c.

References NULL, SCIP_Sol::obj, and SCIPsolIsOriginal().

Referenced by primalAddOrigSol(), primalAddSol(), primalExistsOrigSol(), primalSearchOrigSolPos(), SCIPgetSolOrigObj(), SCIPprimalAddOrigObjoffset(), SCIPprimalTransformSol(), SCIPprintMIPStart(), SCIPprintSol(), solveAndEvalSubscip(), and storeSolution().

◆ SCIPsolGetTime() ◆ SCIPsolGetRunnum() ◆ SCIPsolGetNodenum()

gets node number of the specific branch and bound run, where this solution was found

gets node number, where this solution was found

Parameters

Definition at line 2784 of file sol.c.

References SCIP_Sol::nodenum, and NULL.

Referenced by determineVariableFixings(), primalAddSol(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPgetSolNodenum(), SCIPprintSolutionStatistics(), SCIPsolve(), setupAndSolve(), and solHasNewSource().

◆ SCIPsolGetDepth() ◆ SCIPsolGetType() ◆ SCIPsolGetHeur()

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

Parameters

Definition at line 2804 of file sol.c.

References SCIP_Sol::creator, SCIP_Sol::heur, NULL, SCIP_SOLTYPE_HEUR, and SCIP_Sol::type.

Referenced by checkSolution(), determineVariableFixings(), notifyNlhdlrNewsol(), presolve(), presolveRound(), primalAddSol(), proposeFeasibleSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPgetSolHeur(), SCIPprimalTransformSol(), SCIPprintSolutionStatistics(), SCIPreoptAddSol(), SCIPsolCopy(), SCIPsolve(), SCIPupdateStartpointHeurSubNlp(), SCIPvisualFoundSolution(), solHasNewSource(), soltreeAddSol(), solveComponent(), and solveSubNLP().

◆ SCIPsolGetRelax() ◆ SCIPsolSetHeur()

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.

Note: Relaxation handlers should use SCIPsolSetRelax() instead.

Parameters: sol primal CIP solution heur primal heuristic that found the solution, or NULL for LP solutions

Definition at line 2849 of file sol.c.

References SCIP_Sol::creator, SCIP_Sol::heur, NULL, SCIP_SOLTYPE_HEUR, SCIPsolSetLPRelaxation(), and SCIP_Sol::type.

Referenced by createSolFromNLP(), createSolFromSubScipSol(), primalLinkCurrentSol(), SCIP_DECL_HEUREXEC(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPheurSyncPassSol(), SCIPsolCopy(), SCIPsolCreate(), SCIPsolCreateOriginal(), SCIPsolCreatePartial(), SCIPsolCreateUnknown(), SCIPupdateStartpointHeurSubNlp(), and solveComponent().

◆ SCIPsolSetRelax() ◆ SCIPsolSetLPRelaxation() void SCIPsolSetLPRelaxation ( SCIP_SOL * sol ) ◆ SCIPsolSetStrongbranching() void SCIPsolSetStrongbranching ( SCIP_SOL * sol ) ◆ SCIPsolSetPseudo() void SCIPsolSetPseudo ( SCIP_SOL * sol ) ◆ SCIPsolGetIndex()

returns unique index of given solution

Parameters

Definition at line 2835 of file sol.c.

References SCIP_Sol::index, and NULL.

Referenced by constructValidSolution(), execRelpscost(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIPapplyProximity(), SCIPIsConcurrentSolNew(), SCIPtranslateSubSols(), selectInitialVariableDecomposition(), setupAndSolveSubscipCrossover(), solveComponent(), and solveSubscipLpface().

◆ SCIPsolGetAbsBoundViolation() ◆ SCIPsolGetRelBoundViolation() ◆ SCIPsolGetAbsIntegralityViolation() ◆ SCIPsolGetAbsLPRowViolation() ◆ SCIPsolGetRelLPRowViolation() ◆ SCIPsolGetAbsConsViolation() ◆ SCIPsolGetRelConsViolation() ◆ SCIPcreateSol()

creates a primal solution, initialized to zero

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 180 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(), and TRUE.

Referenced by applyBoundHeur(), applyRepair(), applyVbounds(), checkSystemGF2(), computeInteriorPoint(), computeOffValues(), createCGMIPprimalsols(), createNewSol(), createSolFromNLP(), createSolFromSubScipSol(), createSwitchSolution(), DECL_VARFIXINGS(), estimateConvexSecant(), estimateGradient(), estimateVertexPolyhedral(), generateCloseCutPoint(), generateIntercut(), heurExec(), initConcsolver(), initProblem(), AMPLProblemHandler::OnInitialValue(), presolve(), readSol(), reoptimize(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRINITSEPA(), SCIPaddNlRowGradientBenderscutOpt(), SCIPcomputeLPRelIntPoint(), SCIPcycAddIncompleteSol(), SCIPtranslateSubSol(), SCIPtranslateSubSols(), separateAlternativeProofs(), separateCuts(), setAndUpdateCorePoint(), setupAndSolve(), solveNLP(), startProbing(), tryOneOpt(), and trySolCandidate().

◆ SCIPcreateLPSol()

creates a primal solution, initialized to the current LP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

SCIP_STAGE_SOLVING

Parameters: 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 222 of file scip_sol.c.

References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPsolCreateLPSol(), SCIPtreeHasCurrentNodeLP(), and TRUE.

Referenced by constructValidSolution(), copyCurrentSolution(), performInteriorSolCutStrengthening(), proposeFeasibleSolution(), SCIP_DECL_CONSENFOLP(), SCIPtryStrongbranchLPSol(), and setAndUpdateCorePoint().

◆ SCIPcreateNLPSol()

creates a primal solution, initialized to the current NLP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

SCIP_STAGE_SOLVING

Parameters: 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 250 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPisNLPConstructed(), SCIPnlpHasSolution(), SCIPsolCreateNLPSol(), and TRUE.

Referenced by resolveNLPWithTighterFeastol(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddNlRowGradientBenderscutOpt(), SCIPbendersSolSlackVarsActive(), and SCIPbendersSolveSubproblemLP().

◆ SCIPcreateRelaxSol() ◆ SCIPcreatePseudoSol() ◆ SCIPcreateCurrentSol()

creates a primal solution, initialized to the current LP or pseudo solution, depending on whether the LP was solved at the current node

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

SCIP_STAGE_SOLVING

Parameters: 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 335 of file scip_sol.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPsolCreateCurrentSol(), and TRUE.

Referenced by SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_SEPAEXECLP(), SCIPbendersSolSlackVarsActive(), SCIPcreateSolCopy(), and SCIPcreateSolCopyOrig().

◆ SCIPcreatePartialSol() ◆ SCIPcreateUnknownSol() ◆ SCIPcreateOrigSol()

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

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 417 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(), and TRUE.

Referenced by applyOptcumulative(), componentSetupWorkingSol(), createSolFromSubScipSol(), executeHeuristic(), fixDiscreteVars(), reuseSolution(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_HEUREXEC(), SCIPcreateFiniteSolCopy(), setupAndSolveSubscipOneopt(), and solveAndEvalSubscip().

◆ SCIPcreateSolCopy()

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

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

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

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol pointer to store the solution sourcesol primal CIP solution to copy

Definition at line 470 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPcreateCurrentSol(), SCIPsolCopy(), and TRUE.

Referenced by constructValidSolution(), enforceCardinality(), fromCommandLine(), proposeFeasibleSolution(), sampleRandomPoints(), SCIP_DECL_CONSCHECK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPsetBasePointClosecuts(), SCIPupdateStartpointHeurSubNlp(), and setAndUpdateCorePoint().

◆ SCIPcreateSolCopyOrig()

creates a copy of a solution in the original primal solution space

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol pointer to store the solution sourcesol primal CIP solution to copy

Definition at line 510 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, 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(), and TRUE.

◆ SCIPcreateFiniteSolCopy()

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

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 701 of file scip_sol.c.

References FALSE, NULL, REALABS, 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(), and TRUE.

Referenced by freeTransform(), and SCIP_DECL_DIALOGEXEC().

◆ SCIPfreeSol()

frees primal CIP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol pointer to the solution

Definition at line 837 of file scip_sol.c.

References FALSE, 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(), and TRUE.

Referenced by applyBoundHeur(), applyHeur(), applyRepair(), applyVbounds(), checkSystemGF2(), AMPLProblemHandler::cleanup(), computeOffValues(), constructValidSolution(), createNewSol(), createSolFromSubScipSol(), DECL_VARFIXINGS(), enforceCardinality(), freeComponent(), freeMemory(), freeProblem(), fromCommandLine(), generateIntercut(), heurExec(), performInteriorSolCutStrengthening(), proposeFeasibleSolution(), readMst(), readSol(), resolveNLPWithTighterFeastol(), sampleRandomPoints(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXIT(), SCIP_DECL_HEUREXITSOL(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLREXIT(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXITSOL(), SCIPaddNlRowGradientBenderscutOpt(), SCIPapplyHeurDualval(), SCIPapplyUndercover(), SCIPbendersExit(), SCIPbendersSolSlackVarsActive(), SCIPbendersSolveSubproblemLP(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPheurSyncPassSol(), SCIPsetBasePointClosecuts(), SCIPtranslateSubSols(), SCIPtryStrongbranchLPSol(), SCIPupdateStartpointHeurSubNlp(), selectVarStart(), separateAlternativeProofs(), separateCuts(), setAndUpdateCorePoint(), setupAndSolve(), solveAndEvalSubscip(), solveComponent(), solveNLP(), solveSubproblem(), storeSolution(), and transferSolution().

◆ SCIPlinkLPSol()

links a primal solution to the current LP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

SCIP_STAGE_SOLVING

Parameters: scip SCIP data structure sol primal solution

Definition at line 878 of file scip_sol.c.

References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPlpIsSolved(), SCIPsolLinkLPSol(), and TRUE.

Referenced by applyBoundHeur(), applyVbounds(), getSolFromFacet(), performLPRandRounding(), performLPSimpleRounding(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), solveLp(), tryOneOpt(), and trySolCandidate().

◆ SCIPlinkNLPSol()

links a primal solution to the current NLP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

SCIP_STAGE_SOLVING

Parameters: scip SCIP data structure sol primal solution

Definition at line 904 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_NLPSOLSTAT_FEASIBLE, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPnlpGetSolstat(), SCIPsolLinkNLPSol(), and TRUE.

Referenced by SCIP_DECL_HEUREXEC().

◆ SCIPlinkRelaxSol() ◆ SCIPlinkPseudoSol() ◆ SCIPlinkCurrentSol() ◆ SCIPclearSol() ◆ SCIPunlinkSol()

stores solution values of variables in solution's own array

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol primal solution

Definition at line 1042 of file scip_sol.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPsolUnlink(), and TRUE.

Referenced by constructValidSolution(), copyCurrentSolution(), performInteriorSolCutStrengthening(), proposeFeasibleSolution(), SCIP_DECL_HEUREXEC(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPperformGenericDivingAlgorithm(), SCIPretransformSol(), SCIPupdateStartpointHeurSubNlp(), and setAndUpdateCorePoint().

◆ SCIPsetSolVal()

sets value of variable in primal CIP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol primal solution var variable to add to solution val solution value of variable

Definition at line 1073 of file scip_sol.c.

References FALSE, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolSetVal(), SCIPvarGetName(), SCIPvarIsTransformed(), and TRUE.

Referenced by applyOptcumulative(), applyRepair(), assignVars(), buildConvexCombination(), checkCands(), checkSystemGF2(), componentSetupWorkingSol(), computeInteriorPoint(), constructSolution(), constructValidSolution(), createCGMIPprimalsols(), createNewSol(), createSolFromNLP(), createSolFromSubScipSol(), DECL_VARFIXINGS(), AMPLProblemHandler::EndInput(), enfopsCons(), estimateConvexSecant(), estimateGradient(), fixDiscreteVars(), generateCloseCutPoint(), getNLPFracVars(), getSolFromFacet(), heurExec(), improvePoint(), initializeSol(), initProblem(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), notifyNlhdlrNewsol(), AMPLProblemHandler::OnInitialValue(), optimize(), performInteriorSolCutStrengthening(), performRandRounding(), performSimpleRounding(), polishPrimalSolution(), readSolFile(), readXmlSolFile(), reoptimize(), reuseSolution(), sampleRandomPoints(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_VERTEXPOLYFUN(), SCIPaddNlRowGradientBenderscutOpt(), SCIPapplyHeurDualval(), SCIPcomputeLPRelIntPoint(), SCIPcreateFiniteSolCopy(), SCIPmakeIndicatorFeasible(), separateCuts(), setAndUpdateCorePoint(), setupAndSolve(), setupAndSolveSubscipOneopt(), setVarToNearestBound(), solveAndEvalSubscip(), solveComponent(), solveLagromoryLP(), solveLPWithHardCuts(), solveNLP(), startProbing(), updateSlacks(), and updateVariableRounding().

◆ SCIPsetSolVals()

sets values of multiple variables in primal CIP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 1115 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolSetVal(), SCIPvarGetName(), SCIPvarIsTransformed(), and TRUE.

Referenced by computeOffValues(), createNewSol(), initConcsolver(), reuseSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIPtranslateSubSol(), and SCIPtranslateSubSols().

◆ SCIPincSolVal()

increases value of variable in primal CIP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol primal solution var variable to increase solution value for incval increment for solution value of variable

Definition at line 1170 of file scip_sol.c.

References FALSE, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPsolIncVal(), SCIPsolIsOriginal(), SCIPvarGetName(), SCIPvarIsTransformed(), and TRUE.

Referenced by proposeFeasibleSolution().

◆ SCIPgetSolVal()

returns value of variable in primal CIP solution, or in current LP/pseudo solution

Returns: value of variable in primal CIP solution, or in current LP/pseudo solution

Precondition

In case the solution pointer 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:

Parameters: scip SCIP data structure sol primal solution, or NULL for current LP/pseudo solution var variable to get value for

Definition at line 1213 of file scip_sol.c.

References FALSE, NULL, SCIP_Var::scip, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsolGetVal(), SCIPtreeHasCurrentNodeLP(), SCIPvarGetSol(), and TRUE.

Referenced by addBilinearTermToCut(), addBinaryConstraint(), addBranchingComplementaritiesSOS1(), addColToCut(), addCut(), addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLowerBound(), addRltTerm(), addUpperBound(), analyzeViolation(), applyDomainReductions(), applyRepair(), branchBalancedCardinality(), branchingIntegralFirst(), branchOnVar(), branchUnbalancedCardinality(), buildConvexCombination(), buildMod2Matrix(), calcEfficacy(), calcEfficacyDenseStorageQuad(), calculateShift(), checkAndConss(), checkCands(), checkCons(), checkCumulativeCondition(), checkOrigPbCons(), checkSetupTolerances(), checkSymresackSolution(), checkSystemGF2(), chooseGuidedVar(), collectBranchingCands(), collectEstLst(), collectSolActivities(), collectSolution(), computeConvexEnvelopeFacet(), computeCut(), computeInitialKnapsackCover(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeNogoodCut(), computeStandardIntegerOptCut(), consdataCheckSuperindicator(), consdataGetActivity(), consPrintConsSol(), constructSNFRelaxation(), constructValidSolution(), copyValues(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createNAryBranch(), createNewSol(), createProjRow(), createSelectedSortedEventpointsSol(), createSolFromSubScipSol(), createSortedEventpointsSol(), createSubproblem(), createSubscip(), CUTOFF_CONSTRAINT(), cutsTransformMIR(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), determineBestBounds(), determineBound(), determineBoundForSNF(), determineFixings(), 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(), findSubtour(), fixDiscreteVars(), fixMatchingSolutionValues(), fixVariables(), generateCloseCutPoint(), generateClusterCuts(), generateCut(), generateZerohalfCut(), getBestEstimators(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getBranchingVerticesSOS1(), getClosestVlb(), getClosestVub(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getExprAbsAuxViolation(), getExprAbsOrigViolation(), getFixingValue(), getFixVal(), getNLPFracVars(), getPotential(), getPotentialContributed(), getRelDistance(), getSolutionValues(), getVectorOfWeights(), getViolSplitWeight(), handle1Cycle(), handleCycle(), heurExec(), improvePoint(), intercutsComputeCommonQuantities(), isConsViolated(), isPossibleToComputeCut(), isQuadConsViolated(), isSolFeasible(), isViolatedAndNotFixed(), isViolatedSOS1(), LOPseparate(), main(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), maximalslack(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundLbSOS1(), nodeGetSolvalVarboundUbSOS1(), notifyNlhdlrNewsol(), optimize(), overEstimatePower(), performInteriorSolCutStrengthening(), performRandRounding(), polishPrimalSolution(), proposeFeasibleSolution(), registerBranchingCandidates(), reoptimize(), reuseSolution(), rowprepCleanupImproveCoefrange(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPREVAL(), SCIP_DECL_EXPRFWDIFF(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbendersGetAuxiliaryVarVal(), SCIPbendersSetupSubproblem(), SCIPbendersSolSlackVarsActive(), SCIPcheckSolutionOrbisack(), SCIPcutGenerationHeuristicCMIR(), SCIPcycAddIncompleteSol(), SCIPcycPrintSolutionValues(), SCIPevalBilinAuxExprNonlinear(), SCIPevalExprQuadratic(), SCIPevalExprQuadraticAuxNonlinear(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetRowprepViolation(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPprintRowprepSol(), SCIPprintSolReaderFzn(), SCIPprocessRowprepNonlinear(), SCIPseparateRelaxedKnapsack(), SCIPverifyCircularPatternNLP(), SCIPwriteCliqueGraph(), SCIPwriteSolutionNl(), scoreBranchingCandidates(), selectEssentialRounding(), selectNextDiving(), selectRounding(), selectShifting(), selectVarStart(), sepaImplBoundCutsSOS1(), separateCons(), separateCoversOrbisack(), separateCuts(), separateGLS(), separateHeur(), separateIndicators(), separateMcCormickImplicit(), separateOddCycles(), separatePerspective(), separatePoint(), sepaSubtour(), setAltLPObj(), setupAggregationData(), setupAndSolve(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipOneopt(), setVarToNearestBound(), solCutIsViolated(), solveAndEvalSubscip(), solveComponent(), solveCoveringProblem(), solveLp(), solveNLP(), solveSubNLP(), sparsifyIntercut(), startProbing(), storeAggrFromMIP(), TCLIQUE_NEWSOL(), tightenVariables(), transformNonIntegralRow(), translateSubSol(), tryFixVar(), underEstimatePower(), updateBestCandidate(), updateSlacks(), updateVarVals(), updateWeightsTCliquegraph(), visualizeSolutionAscii(), visualizeSolutionGnuplot(), and visualizeSolutionMatplotlib().

◆ SCIPgetSolVals()

gets values of multiple variables in primal CIP solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 1250 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPgetVarSols(), SCIPsolGetVal(), and TRUE.

Referenced by alnsFixMoreVariables(), createNewSol(), initConcsolver(), LNSFixMoreVariables(), reoptimize(), reuseSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPcreateFiniteSolCopy(), SCIPseparateKnapsackCuts(), SCIPsetNLPInitialGuessSol(), SCIPsetRelaxSolValsSol(), and separateCuts().

◆ SCIPgetSolOrigObj()

returns objective value of primal CIP solution w.r.t. original problem, or current LP/pseudo objective value

Returns: objective value of primal CIP solution w.r.t. original problem, or current LP/pseudo objective value

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol primal solution, or NULL for current LP/pseudo objective value

Definition at line 1296 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPlpGetObjval(), SCIPlpGetPseudoObjval(), SCIPprobExternObjval(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsOriginal(), SCIPtreeHasCurrentNodeLP(), and TRUE.

Referenced by applyBoundHeur(), applyOptcumulative(), applyRepair(), applyVbounds(), computeStandardIntegerOptCut(), createNewSol(), createSwitchSolution(), displayRelevantStats(), doPricing(), extractVariablesMINLP(), generateAndApplyBendersIntegerCuts(), presolve(), presolveRound(), reoptimize(), reuseSolution(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersExec(), SCIPbendersExecSubproblemSolve(), SCIPbendersSolveSubproblem(), SCIPbendersSolveSubproblemLP(), SCIPcreateFiniteSolCopy(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPtransformProb(), SCIPtranslateSubSols(), SCIPvisualFoundSolution(), setupAndSolveSubscipRapidlearning(), solveAndEvalSubscip(), solveComponent(), solveCoveringProblem(), visualizeSolutionAscii(), visualizeSolutionGnuplot(), and visualizeSolutionMatplotlib().

◆ SCIPgetSolTransObj()

returns transformed objective value of primal CIP solution, or transformed current LP/pseudo objective value

Returns: transformed objective value of primal CIP solution, or transformed current LP/pseudo objective value

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol primal solution, or NULL for current LP/pseudo objective value

Definition at line 1343 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPlpGetObjval(), SCIPlpGetPseudoObjval(), SCIPsolGetObj(), SCIPtreeHasCurrentNodeLP(), and TRUE.

Referenced by addTrustRegionConstraints(), applyHeur(), isDisplaySol(), proposeFeasibleSolution(), sampleRandomPoints(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPapplyProximity(), SCIPheurSyncPassSol(), SCIPtranslateSubSols(), SCIPupdateStartpointHeurSubNlp(), SCIPvisualFoundSolution(), separateCuts(), solveComponent(), transferSolution(), tryOneOpt(), trySolCandidate(), and updateSubproblemLowerbound().

◆ SCIPrecomputeSolObj() ◆ SCIPtransformObj() ◆ SCIPretransformObj()

maps transformed objective value into original space

Returns: objective value into original space

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure obj transformed objective value to retransform in original space

Definition at line 1428 of file scip_sol.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPprobExternObjval(), and TRUE.

Referenced by calcGap(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersSolveSubproblemLP(), SCIPperformGenericDivingAlgorithm(), SCIPprintRootStatistics(), SCIPprintSolutionStatistics(), SCIPvisualCutoffNode(), SCIPvisualLowerbound(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPvisualUpperbound(), setupAndSolveSubscipRapidlearning(), setupSubScip(), solveComponent(), and writeExpandedSolutions().

◆ SCIPgetSolTime() ◆ SCIPgetSolRunnum() ◆ SCIPgetSolNodenum() ◆ SCIPgetSolHeur() ◆ SCIPareSolsEqual() ◆ SCIPadjustImplicitSolVals() ◆ SCIPprintSol()

outputs non-zero variables of solution in original problem space to the given file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

In case the solution pointer sol is NULL (askinking for the current LP/pseudo solution), this method can be called if scip is in one of the following stages:

In case the solution pointer 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

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

In case the solution pointer sol is NULL (asking for the current LP/pseudo solution), this method can be called if scip is in one of the following stages:

In case the solution pointer sol is not NULL, this method can be called if scip is in one of the following stages:

Parameters: 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 1627 of file scip_sol.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage(), SCIPisTransformed(), SCIPmessageFPrintInfo(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), SCIPprintReal(), SCIPprobExternObjval(), SCIPsolCreateCurrentSol(), SCIPsolFree(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolPrint(), and TRUE.

Referenced by checkSystemGF2(), createCGCutDirect(), doPricing(), enforceConstraint(), enforceSol(), fromCommandLine(), performRandRounding(), performSimpleRounding(), resolveNLPWithTighterFeastol(), runBrachistochrone(), runPacking(), runSpring(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPbendersExec(), SCIPbendersSolveSubproblemLP(), SCIPcreateFiniteSolCopy(), SCIPprintBestSol(), SCIPwriteSolutionNl(), searchEcAggrWithMIP(), separateCuts(), solveCoveringProblem(), and trySolCandidate().

◆ SCIPprintTransSol()

outputs non-zero variables of solution in transformed problem space to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 1709 of file scip_sol.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPmessageFPrintInfo(), SCIPprintReal(), SCIPsolCreateCurrentSol(), SCIPsolFree(), SCIPsolGetObj(), SCIPsolIsOriginal(), SCIPsolPrint(), and TRUE.

Referenced by SCIP_DECL_NLHDLRENFO(), and SCIPprintBestTransSol().

◆ SCIPprintMIPStart()

outputs discrete variables of solution in original problem space to the given file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters: scip SCIP data structure sol primal solution file output file (or NULL for standard output)

Definition at line 1766 of file scip_sol.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), SCIPprintReal(), SCIPprobExternObjval(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolPrint(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPgetDualSolVal()

returns dual solution value of a constraint

Parameters: 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 1808 of file scip_sol.c.

References NULL, 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(), and SCIPvarGetLPSol().

Referenced by printDualSol().

◆ SCIPisDualSolAvailable()

check whether the dual solution is available

Note: This is used when calling SCIPprintDualSol()

Returns: is dual solution available?

Precondition

This method can be called if SCIP is in one of the following stages:

SCIP_STAGE_SOLVED

Parameters: scip SCIP data structure printreason print warning message if dualsol is not available?

Definition at line 1934 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_SOLVED, SCIPcheckStage(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPgetStage(), SCIPmessageFPrintInfo(), SCIPwarningMessage(), and TRUE.

Referenced by SCIPprintDualSol().

◆ SCIPprintDualSol()

outputs dual solution from LP solver to file stream

Note: This only works if no presolving has been performed, which can be checked by calling method SCIPhasPerformedPresolve().

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

SCIP_STAGE_SOLVED

outputs dual solution from LP solver to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition: This method can be called in all stages but only prints dual information when called in SCIP_STAGE_SOLVED

Parameters: scip SCIP data structure file output file (or NULL for standard output) printzeros should variables set to zero be printed?

Definition at line 1997 of file scip_sol.c.

References printDualSol(), SCIP_CALL, SCIP_OKAY, SCIPisDualSolAvailable(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPprintRay() ◆ SCIPgetNSols() 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

Returns: number of feasible primal solutions stored in the solution storage in case the problem is transformed; or number of solution in the original solution candidate storage if the problem stage is SCIP_STAGE_PROBLEM

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters

Definition at line 2066 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(), determineSolvingPhase(), determineVariableFixings(), doPricing(), doSolveSubMIP(), executeDivingHeuristic(), extractVariablesMINLP(), initConcsolver(), initializeCandsLists(), presolve(), presolveRound(), reoptimize(), reuseSolution(), runBrachistochrone(), runPacking(), runSpring(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETAVAILABLE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPapplyRedSize(), SCIPtranslateSubSols(), SCIPvalidateSolve(), SCIPverifyCircularPatternNLP(), searchEcAggrWithMIP(), selectSolsRandomized(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipRapidlearning(), solveAndEvalSubscip(), solveCoveringProblem(), solveSubNLP(), solveSubproblem(), solveSubscipLpface(), storeAggrFromMIP(), transformSols(), and wrapperDins().

◆ SCIPgetSols()

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

Returns: array of feasible primal solutions

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters

Definition at line 2115 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(), determineVariableFixings(), doPricing(), doSolveSubMIP(), fixVariables(), reuseSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyRedSize(), SCIPtranslateSubSols(), selectSolsRandomized(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipRapidlearning(), solveSubNLP(), solveSubproblem(), and transformSols().

◆ SCIPgetBestSol()

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;

Returns: best feasible primal solution so far

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters

Definition at line 2165 of file scip_sol.c.

Referenced by addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addTrustRegionConstraints(), applyHeur(), applyRepair(), calculateShift(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeStandardIntegerOptCut(), createSubscip(), createSwitchSolution(), DECL_CHANGESUBSCIP(), DECL_NHREFSOL(), DECL_VARFIXINGS(), decompHorizonBlockUsedRecently(), decompHorizonGetFirstPosBestPotential(), decompHorizonNext(), determineFixings(), determineVariableFixings(), determineVariableFixingsDecomp(), scipexamples::QueensSolver::disp(), displayRelevantStats(), execRelpscost(), executeDivingHeuristic(), extractVariablesMINLP(), fixAndPropagate(), fromCommandLine(), getFixingValue(), initConcsolver(), main(), maximalslack(), performInteriorSolCutStrengthening(), presolve(), presolveRound(), reoptimize(), runBenders(), runBrachistochrone(), runPacking(), runSpring(), SCIP_DECL_CONSEXIT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETAVAILABLE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddCurrentSol(), SCIPaddSol(), SCIPaddSolFree(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPbendersExecSubproblemSolve(), SCIPbendersSolSlackVarsActive(), SCIPbendersSolveSubproblem(), SCIPprintBestSol(), SCIPprintBestTransSol(), SCIPtransformProb(), SCIPtryCurrentSol(), SCIPtrySol(), SCIPtrySolFree(), SCIPvalidateSolve(), SCIPverifyCircularPatternNLP(), SCIPwriteSolutionNl(), scoring(), searchEcAggrWithMIP(), selectInitialVariableDecomposition(), selectInitialVariableRandomly(), setAndUpdateCorePoint(), setupAndSolve(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipCrossover(), solveAndEvalSubscip(), solveComponent(), solveCoveringProblem(), solveSubscipLpface(), storeAggrFromMIP(), and transferSolution().

◆ SCIPprintBestSol()

outputs best feasible primal solution found so far to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

outputs best feasible primal solution found so far to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure file output file (or NULL for standard output) printzeros should variables set to zero be printed?

Definition at line 2231 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPgetBestSol(), SCIPmessageFPrintInfo(), SCIPprintSol(), and TRUE.

Referenced by execmain(), fromCommandLine(), SCIP_DECL_DIALOGEXEC(), and solveSubscip().

◆ SCIPprintBestTransSol()

outputs best feasible primal solution found so far in transformed variables to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

outputs best feasible primal solution found so far in transformed variables to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure file output file (or NULL for standard output) printzeros should variables set to zero be printed?

Definition at line 2271 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPgetBestSol(), SCIPmessageFPrintInfo(), SCIPprintTransSol(), SCIPsolIsOriginal(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIProundSol()

try to round given solution

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

SCIP_STAGE_SOLVING

Parameters: scip SCIP data structure sol primal solution success pointer to store whether rounding was successful

Definition at line 2307 of file scip_sol.c.

References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolRound(), and TRUE.

Referenced by applyBoundHeur(), applyVbounds(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), SCIPtryStrongbranchLPSol(), and solveNLP().

◆ SCIPretransformSol()

retransforms solution to original problem space

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

retransforms solution to original problem space

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: scip SCIP data structure sol primal CIP solution

Definition at line 2343 of file scip_sol.c.

References FALSE, 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(), and TRUE.

Referenced by fromCommandLine().

◆ SCIPreadSol() ◆ SCIPreadSolFile() ◆ SCIPaddSol()

adds feasible primal solution to solution storage by copying it

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Note: Do not call during propagation, use heur_trysol instead.

Parameters: scip SCIP data structure sol primal CIP solution stored stores whether given solution was good enough to keep

Definition at line 2787 of file scip_sol.c.

Referenced by solveComponent().

◆ SCIPaddSolFree()

adds primal solution to solution storage, frees the solution afterwards

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Note: Do not call during propagation, use heur_trysol instead.

Parameters: 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 2851 of file scip_sol.c.

Referenced by applyRepair(), AMPLProblemHandler::EndInput(), initConcsolver(), readMst(), readSol(), reuseSolution(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_HEUREXEC(), and SCIPtranslateSubSols().

◆ SCIPaddCurrentSol() ◆ SCIPtrySol()

checks solution for feasibility; if possible, adds it to storage by copying

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Note: Do not call during propagation, use heur_trysol instead.

Parameters: 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 2950 of file scip_sol.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddSol(), SCIPprimalTrySol(), SCIPsolCheckOrig(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPstoreSolutionGap(), and TRUE.

Referenced by applyBoundHeur(), applyVbounds(), createNewSol(), enforceCardinality(), performRandRounding(), performSimpleRounding(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), solveLp(), and solveSubproblem().

◆ SCIPtrySolFree()

checks primal solution; if feasible, adds it to storage; solution is freed afterwards

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Note: Do not call during propagation, use heur_trysol instead.

Parameters: 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 3046 of file scip_sol.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddSolFree(), SCIPprimalTrySolFree(), SCIPsolCheckOrig(), SCIPsolFree(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPstoreSolutionGap(), and TRUE.

Referenced by applyOptcumulative(), createCGMIPprimalsols(), createNewSol(), createSwitchSolution(), executeHeuristic(), heurExec(), presolve(), processNLPSol(), readSol(), reoptimize(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIPcycAddIncompleteSol(), SCIPtryStrongbranchLPSol(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipOneopt(), setupAndSolveSubscipRapidlearning(), solveSubNLP(), storeSolution(), transferSolution(), tryOneOpt(), and trySolCandidate().

◆ SCIPtryCurrentSol()

checks current LP/pseudo solution for feasibility; if possible, adds it to storage

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 3142 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().

◆ SCIPgetPartialSols() ◆ SCIPgetNPartialSols() int SCIPgetNPartialSols ( SCIP * scip ) ◆ SCIPcheckSol()

checks solution for feasibility without adding it to the solution store

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 3247 of file scip_sol.c.

References FALSE, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPsolCheck(), SCIPsolCheckOrig(), SCIPsolIsOriginal(), SCIPsolIsPartial(), and TRUE.

Referenced by applyVbounds(), checkSystemGF2(), constructValidSolution(), processNLPSol(), SCIP_DECL_HEUREXEC(), SCIPtranslateSubSols(), solveAndEvalSubscip(), solveComponent(), solveSubNLP(), and transferSolution().

◆ SCIPcheckSolOrig()

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

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters: 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 3305 of file scip_sol.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPsolCheckOrig(), SCIPsolIsPartial(), and TRUE.

Referenced by checkSolutionOrig(), displayRelevantStats(), doPricing(), SCIP_DECL_DIALOGEXEC(), SCIPsolveCIP(), SCIPvalidateSolve(), solveAndEvalSubscip(), and solveComponent().

◆ SCIPupdateSolIntegralityViolation() ◆ SCIPupdateSolBoundViolation() ◆ SCIPupdateSolLPRowViolation() ◆ SCIPupdateSolConsViolation() ◆ SCIPupdateSolLPConsViolation() ◆ SCIPactivateSolViolationUpdates() void SCIPactivateSolViolationUpdates ( SCIP * scip ) ◆ SCIPdeactivateSolViolationUpdates() void SCIPdeactivateSolViolationUpdates ( SCIP * scip ) ◆ SCIPhasPrimalRay() ◆ SCIPgetPrimalRayVal() ◆ SCIPupdatePrimalRay()

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4