Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

methods to create and change primal solutions of SCIP

Functions

SCIP_SOLORIGIN SCIPsolGetOrigin (SCIP_SOL *sol)
 
SCIP_Bool SCIPsolIsOriginal (SCIP_SOL *sol)
 
SCIP_Bool SCIPsolIsPartial (SCIP_SOL *sol)
 
SCIP_Real SCIPsolGetOrigObj (SCIP_SOL *sol)
 
SCIP_Real SCIPsolGetTime (SCIP_SOL *sol)
 
int SCIPsolGetRunnum (SCIP_SOL *sol)
 
SCIP_Longint SCIPsolGetNodenum (SCIP_SOL *sol)
 
int SCIPsolGetDepth (SCIP_SOL *sol)
 
SCIP_HEURSCIPsolGetHeur (SCIP_SOL *sol)
 
void SCIPsolSetHeur (SCIP_SOL *sol, SCIP_HEUR *heur)
 
int SCIPsolGetIndex (SCIP_SOL *sol)
 
SCIP_RETCODE SCIPcreateSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreateLPSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreateNLPSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreateRelaxSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreatePseudoSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreateCurrentSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreatePartialSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreateUnknownSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreateOrigSol (SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
 
SCIP_RETCODE SCIPcreateSolCopy (SCIP *scip, SCIP_SOL **sol, SCIP_SOL *sourcesol)
 
SCIP_RETCODE SCIPcreateSolCopyOrig (SCIP *scip, SCIP_SOL **sol, SCIP_SOL *sourcesol)
 
SCIP_RETCODE SCIPcreateFiniteSolCopy (SCIP *scip, SCIP_SOL **sol, SCIP_SOL *sourcesol, SCIP_Bool *success)
 
SCIP_RETCODE SCIPfreeSol (SCIP *scip, SCIP_SOL **sol)
 
SCIP_RETCODE SCIPlinkLPSol (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPlinkNLPSol (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPlinkRelaxSol (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPlinkPseudoSol (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPlinkCurrentSol (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPclearSol (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPunlinkSol (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPsetSolVal (SCIP *scip, SCIP_SOL *sol, SCIP_VAR *var, SCIP_Real val)
 
SCIP_RETCODE SCIPsetSolVals (SCIP *scip, SCIP_SOL *sol, int nvars, SCIP_VAR **vars, SCIP_Real *vals)
 
SCIP_RETCODE SCIPincSolVal (SCIP *scip, SCIP_SOL *sol, SCIP_VAR *var, SCIP_Real incval)
 
SCIP_Real SCIPgetSolVal (SCIP *scip, SCIP_SOL *sol, SCIP_VAR *var)
 
SCIP_RETCODE SCIPgetSolVals (SCIP *scip, SCIP_SOL *sol, int nvars, SCIP_VAR **vars, SCIP_Real *vals)
 
SCIP_Real SCIPgetSolOrigObj (SCIP *scip, SCIP_SOL *sol)
 
SCIP_Real SCIPgetSolTransObj (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPrecomputeSolObj (SCIP *scip, SCIP_SOL *sol)
 
SCIP_Real SCIPtransformObj (SCIP *scip, SCIP_Real obj)
 
SCIP_Real SCIPretransformObj (SCIP *scip, SCIP_Real obj)
 
SCIP_Real SCIPgetSolTime (SCIP *scip, SCIP_SOL *sol)
 
int SCIPgetSolRunnum (SCIP *scip, SCIP_SOL *sol)
 
SCIP_Longint SCIPgetSolNodenum (SCIP *scip, SCIP_SOL *sol)
 
SCIP_HEURSCIPgetSolHeur (SCIP *scip, SCIP_SOL *sol)
 
SCIP_Bool SCIPareSolsEqual (SCIP *scip, SCIP_SOL *sol1, SCIP_SOL *sol2)
 
SCIP_RETCODE SCIPadjustImplicitSolVals (SCIP *scip, SCIP_SOL *sol, SCIP_Bool uselprows)
 
SCIP_RETCODE SCIPprintSol (SCIP *scip, SCIP_SOL *sol, FILE *file, SCIP_Bool printzeros)
 
SCIP_RETCODE SCIPprintTransSol (SCIP *scip, SCIP_SOL *sol, FILE *file, SCIP_Bool printzeros)
 
SCIP_RETCODE SCIPprintMIPStart (SCIP *scip, SCIP_SOL *sol, FILE *file)
 
SCIP_Bool SCIPisDualSolAvailable (SCIP *scip, SCIP_Bool printreason)
 
SCIP_RETCODE SCIPprintDualSol (SCIP *scip, FILE *file, SCIP_Bool printzeros)
 
SCIP_RETCODE SCIPprintRay (SCIP *scip, SCIP_SOL *sol, FILE *file, SCIP_Bool printzeros)
 
int SCIPgetNSols (SCIP *scip)
 
SCIP_SOL ** SCIPgetSols (SCIP *scip)
 
SCIP_SOLSCIPgetBestSol (SCIP *scip)
 
SCIP_RETCODE SCIPprintBestSol (SCIP *scip, FILE *file, SCIP_Bool printzeros)
 
SCIP_RETCODE SCIPprintBestTransSol (SCIP *scip, FILE *file, SCIP_Bool printzeros)
 
SCIP_RETCODE SCIProundSol (SCIP *scip, SCIP_SOL *sol, SCIP_Bool *success)
 
SCIP_RETCODE SCIPretransformSol (SCIP *scip, SCIP_SOL *sol)
 
SCIP_RETCODE SCIPreadSol (SCIP *scip, const char *filename)
 
SCIP_RETCODE SCIPreadSolFile (SCIP *scip, const char *filename, SCIP_SOL *sol, SCIP_Bool xml, SCIP_Bool *partial, SCIP_Bool *error)
 
SCIP_RETCODE SCIPaddSol (SCIP *scip, SCIP_SOL *sol, SCIP_Bool *stored)
 
SCIP_RETCODE SCIPaddSolFree (SCIP *scip, SCIP_SOL **sol, SCIP_Bool *stored)
 
SCIP_RETCODE SCIPaddCurrentSol (SCIP *scip, SCIP_HEUR *heur, SCIP_Bool *stored)
 
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)
 
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)
 
SCIP_RETCODE SCIPtryCurrentSol (SCIP *scip, SCIP_HEUR *heur, SCIP_Bool printreason, SCIP_Bool completely, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool *stored)
 
SCIP_SOL ** SCIPgetPartialSols (SCIP *scip)
 
int SCIPgetNPartialSols (SCIP *scip)
 
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)
 
SCIP_RETCODE SCIPcheckSolOrig (SCIP *scip, SCIP_SOL *sol, SCIP_Bool *feasible, SCIP_Bool printreason, SCIP_Bool completely)
 
SCIP_Bool SCIPhasPrimalRay (SCIP *scip)
 
SCIP_Real SCIPgetPrimalRayVal (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPupdatePrimalRay (SCIP *scip, SCIP_SOL *primalray)
 

Function Documentation

◆ SCIPsolGetOrigin()

SCIP_SOLORIGIN SCIPsolGetOrigin ( SCIP_SOL sol)

gets origin of solution

Parameters
solprimal CIP solution

Definition at line 2289 of file sol.c.

References NULL, and SCIP_Sol::solorigin.

Referenced by SCIPprimalAddOrigObjoffset(), SCIPprimalRetransformSolutions(), SCIPretransformSol(), and tightenVariables().

◆ SCIPsolIsOriginal()

◆ SCIPsolIsPartial()

SCIP_Bool SCIPsolIsPartial ( SCIP_SOL sol)

returns whether the given solution is partial

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

Parameters
solprimal CIP solution

Definition at line 2309 of file sol.c.

References NULL, SCIP_SOLORIGIN_PARTIAL, and SCIP_Sol::solorigin.

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

◆ SCIPsolGetOrigObj()

SCIP_Real SCIPsolGetOrigObj ( SCIP_SOL sol)

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

Parameters
solprimal CIP solution

Definition at line 2319 of file sol.c.

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

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

◆ SCIPsolGetTime()

SCIP_Real SCIPsolGetTime ( SCIP_SOL sol)

gets clock time, when this solution was found

Parameters
solprimal CIP solution

Definition at line 2342 of file sol.c.

References NULL, and SCIP_Sol::time.

Referenced by primalAddSol(), printSolutionStatistics(), and SCIPgetSolTime().

◆ SCIPsolGetRunnum()

int SCIPsolGetRunnum ( SCIP_SOL sol)

gets branch and bound run number, where this solution was found

Parameters
solprimal CIP solution

Definition at line 2352 of file sol.c.

References NULL, and SCIP_Sol::runnum.

Referenced by primalAddSol(), printSolutionStatistics(), and SCIPgetSolRunnum().

◆ SCIPsolGetNodenum()

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

Parameters
solprimal CIP solution

Definition at line 2362 of file sol.c.

References SCIP_Sol::nodenum, and NULL.

Referenced by applyCompletesol(), applyOfins(), determineVariableFixings(), primalAddSol(), printSolutionStatistics(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPapplyRens(), SCIPgetSolNodenum(), SCIPsolve(), and solHasNewSource().

◆ SCIPsolGetDepth()

int SCIPsolGetDepth ( SCIP_SOL sol)

gets node's depth, where this solution was found

Parameters
solprimal CIP solution

Definition at line 2372 of file sol.c.

References SCIP_Sol::depth, and NULL.

Referenced by primalAddSol(), and printSolutionStatistics().

◆ SCIPsolGetHeur()

◆ SCIPsolSetHeur()

void SCIPsolSetHeur ( SCIP_SOL sol,
SCIP_HEUR heur 
)

informs the solution that it now belongs to the given primal heuristic

Parameters
solprimal CIP solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 2423 of file sol.c.

References SCIP_Sol::heur, and NULL.

Referenced by createSolFromNLP(), createSolFromSubScipSol(), primalLinkCurrentSol(), SCIP_DECL_HEUREXEC(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPheurSyncPassSol(), SCIPupdateStartpointHeurSubNlp(), and solveComponent().

◆ SCIPsolGetIndex()

int SCIPsolGetIndex ( SCIP_SOL sol)

returns unique index of given solution

Parameters
solprimal CIP solution

Definition at line 2413 of file sol.c.

References SCIP_Sol::index, and NULL.

Referenced by createNewSol(), execRelpscost(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPIsConcurrentSolNew(), and solveComponent().

◆ SCIPcreateSol()

SCIP_RETCODE SCIPcreateSol ( SCIP scip,
SCIP_SOL **  sol,
SCIP_HEUR heur 
)

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
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37005 of file scip.c.

References checkStage(), FALSE, Scip::mem, NULL, Scip::origprimal, Scip::origprob, Scip::primal, SCIP_Mem::probmem, 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, SCIPerrorMessage, SCIPsolCreate(), SCIPsolCreateOriginal(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::tree, and TRUE.

Referenced by applyBoundHeur(), applyOfins(), applyRepair(), applyVbounds(), checkSystemGF2(), computeInteriorPoint(), createNewSol(), createNewSols(), createSolFromNLP(), createSolFromSubScipSol(), generateCloseCutPoint(), initProblem(), processNlRow(), readSol(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIPcomputeLPRelIntPoint(), separateCuts(), solveNLP(), solveSubproblem(), tryOneOpt(), and trySolCandidate().

◆ SCIPcreateLPSol()

SCIP_RETCODE SCIPcreateLPSol ( SCIP scip,
SCIP_SOL **  sol,
SCIP_HEUR heur 
)

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:
Parameters
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37047 of file scip.c.

References checkStage(), FALSE, Scip::lp, Scip::mem, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPsolCreateLPSol(), SCIPtreeHasCurrentNodeLP(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by performStrongbranchWithPropagation(), proposeFeasibleSolution(), SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSENFOLP().

◆ SCIPcreateNLPSol()

SCIP_RETCODE SCIPcreateNLPSol ( SCIP scip,
SCIP_SOL **  sol,
SCIP_HEUR heur 
)

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:
Parameters
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37075 of file scip.c.

References checkStage(), FALSE, Scip::mem, Scip::nlp, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPisNLPConstructed(), SCIPnlpHasSolution(), SCIPsolCreateNLPSol(), Scip::set, Scip::stat, Scip::tree, and TRUE.

Referenced by SCIP_DECL_CONSSEPALP(), and SCIP_DECL_SEPAEXECLP().

◆ SCIPcreateRelaxSol()

SCIP_RETCODE SCIPcreateRelaxSol ( SCIP scip,
SCIP_SOL **  sol,
SCIP_HEUR heur 
)

creates a primal solution, initialized to the current relaxation 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
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37110 of file scip.c.

References checkStage(), FALSE, Scip::mem, Scip::primal, SCIP_Mem::probmem, Scip::relaxation, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPrelaxationIsSolValid(), SCIPsolCreateRelaxSol(), Scip::set, Scip::stat, Scip::tree, and TRUE.

◆ SCIPcreatePseudoSol()

SCIP_RETCODE SCIPcreatePseudoSol ( SCIP scip,
SCIP_SOL **  sol,
SCIP_HEUR heur 
)

creates a primal solution, initialized to the current 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
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37137 of file scip.c.

References checkStage(), FALSE, Scip::lp, Scip::mem, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPsolCreatePseudoSol(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by SCIP_DECL_CONSENFOPS().

◆ SCIPcreateCurrentSol()

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

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
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37160 of file scip.c.

References checkStage(), FALSE, Scip::lp, Scip::mem, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPsolCreateCurrentSol(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by SCIP_DECL_SEPAEXECLP(), SCIPcreateSolCopy(), and SCIPcreateSolCopyOrig().

◆ SCIPcreatePartialSol()

SCIP_RETCODE SCIPcreatePartialSol ( SCIP scip,
SCIP_SOL **  sol,
SCIP_HEUR heur 
)

creates a partial primal solution, initialized to unknown 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
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37182 of file scip.c.

References checkStage(), FALSE, Scip::mem, Scip::origprimal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPsolCreatePartial(), Scip::set, Scip::stat, and TRUE.

Referenced by readMst().

◆ SCIPcreateUnknownSol()

SCIP_RETCODE SCIPcreateUnknownSol ( SCIP scip,
SCIP_SOL **  sol,
SCIP_HEUR heur 
)

creates a primal solution, initialized to unknown 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
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37210 of file scip.c.

References checkStage(), FALSE, Scip::mem, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPsolCreateUnknown(), Scip::set, Scip::stat, Scip::tree, and TRUE.

◆ SCIPcreateOrigSol()

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

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 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:
Parameters
scipSCIP data structure
solpointer to store the solution
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 37242 of file scip.c.

References checkStage(), FALSE, Scip::mem, NULL, Scip::origprimal, Scip::origprob, Scip::primal, SCIP_Mem::probmem, 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, SCIPerrorMessage, SCIPsolCreateOriginal(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::tree, and TRUE.

Referenced by componentSetupWorkingSol(), createSolFromSubScipSol(), fixDiscreteVars(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_HEUREXEC(), SCIPcreateFiniteSolCopy(), and solveAndEvalSubscip().

◆ SCIPcreateSolCopy()

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

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
scipSCIP data structure
solpointer to store the solution
sourcesolprimal CIP solution to copy

Definition at line 37295 of file scip.c.

References checkStage(), FALSE, Scip::mem, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcreateCurrentSol(), SCIPsolCopy(), Scip::set, Scip::stat, and TRUE.

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

◆ SCIPcreateSolCopyOrig()

SCIP_RETCODE SCIPcreateSolCopyOrig ( SCIP scip,
SCIP_SOL **  sol,
SCIP_SOL sourcesol 
)

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
scipSCIP data structure
solpointer to store the solution
sourcesolprimal CIP solution to copy

Definition at line 37335 of file scip.c.

References checkStage(), FALSE, Scip::mem, NULL, Scip::origprimal, SCIP_Mem::probmem, 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, SCIPcreateCurrentSol(), SCIPsolCopy(), Scip::set, SCIP_Set::stage, Scip::stat, and TRUE.

◆ SCIPcreateFiniteSolCopy()

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

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
scipSCIP data structure
solpointer to store the solution
sourcesolprimal CIP solution to copy
successdoes the finite solution have the same objective value?

Definition at line 37393 of file scip.c.

References checkStage(), FALSE, NULL, REALABS, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_FIXED, SCIP_VARTYPE_CONTINUOUS, SCIP_VERBLEVEL_NONE, SCIPaddCoefLinear(), SCIPaddCons(), SCIPaddVar(), SCIPallocBufferArray, SCIPblkmem(), SCIPchgVarObj(), SCIPchgVarType(), SCIPcopyOrig(), SCIPcreate(), SCIPcreateConsBasicLinear(), SCIPcreateOrigSol(), SCIPcreateVar(), SCIPdebugMsg, SCIPepsilon(), SCIPfixVar(), SCIPfree(), SCIPfreeBufferArray, SCIPgetBestSol(), SCIPgetFixedVars(), SCIPgetNFixedVars(), SCIPgetOrigVarsData(), SCIPgetSolOrigObj(), SCIPgetSolVal(), SCIPgetSolVals(), SCIPhashmapCreate(), SCIPhashmapFree(), SCIPhashmapGetImage(), SCIPinfinity(), SCIPisEQ(), SCIPisFeasGT(), SCIPisFeasLT(), SCIPisInfinity(), SCIPprintSol(), SCIPreleaseCons(), SCIPreleaseVar(), SCIPsetIntParam(), SCIPsetSolVal(), SCIPsnprintf(), SCIPsolve(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetLbOriginal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIPvarGetUbOriginal(), and TRUE.

Referenced by freeTransform(), and SCIP_DECL_DIALOGEXEC().

◆ SCIPfreeSol()

SCIP_RETCODE SCIPfreeSol ( SCIP scip,
SCIP_SOL **  sol 
)

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
scipSCIP data structure
solpointer to the solution

Definition at line 37631 of file scip.c.

References checkStage(), FALSE, Scip::mem, Scip::origprimal, Scip::primal, SCIP_Mem::probmem, 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, SCIPerrorMessage, SCIPsolFree(), Scip::set, SCIP_Set::stage, and TRUE.

Referenced by applyBoundHeur(), applyHeur(), applyOfins(), applyRepair(), applyVbounds(), checkSystemGF2(), createCoveringProblem(), createNewSol(), createSolFromSubScipSol(), enforceCardinality(), freeComponent(), freeMemory(), freeProblem(), fromCommandLine(), performStrongbranchWithPropagation(), proposeFeasibleSolution(), readMst(), readSol(), sampleRandomPoints(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXIT(), SCIP_DECL_HEUREXITSOL(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXITSOL(), SCIPapplyHeurDualval(), SCIPapplyUndercover(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPheurSyncPassSol(), SCIPsetBasePointClosecuts(), SCIPupdateStartpointHeurSubNlp(), separateCuts(), solveAndEvalSubscip(), solveComponent(), solveNLP(), solveSubNLP(), solveSubproblem(), and storeSolution().

◆ SCIPlinkLPSol()

SCIP_RETCODE SCIPlinkLPSol ( SCIP scip,
SCIP_SOL sol 
)

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:
Parameters
scipSCIP data structure
solprimal solution

Definition at line 37672 of file scip.c.

References checkStage(), FALSE, Scip::lp, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPlpIsSolved(), SCIPsolLinkLPSol(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

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

◆ SCIPlinkNLPSol()

SCIP_RETCODE SCIPlinkNLPSol ( SCIP scip,
SCIP_SOL sol 
)

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:
Parameters
scipSCIP data structure
solprimal solution

Definition at line 37698 of file scip.c.

References checkStage(), FALSE, Scip::nlp, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_NLPSOLSTAT_FEASIBLE, SCIP_OKAY, SCIPerrorMessage, SCIPnlpGetSolstat(), SCIPsolLinkNLPSol(), Scip::stat, Scip::tree, and TRUE.

◆ SCIPlinkRelaxSol()

SCIP_RETCODE SCIPlinkRelaxSol ( SCIP scip,
SCIP_SOL sol 
)

links a primal solution to the current relaxation 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
scipSCIP data structure
solprimal solution

Definition at line 37730 of file scip.c.

References checkStage(), FALSE, Scip::relaxation, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPrelaxationIsSolValid(), SCIPsolLinkRelaxSol(), Scip::set, Scip::stat, Scip::tree, and TRUE.

Referenced by performRelaxSimpleRounding().

◆ SCIPlinkPseudoSol()

SCIP_RETCODE SCIPlinkPseudoSol ( SCIP scip,
SCIP_SOL sol 
)

links a primal solution to the current 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
scipSCIP data structure
solprimal solution

Definition at line 37757 of file scip.c.

References checkStage(), FALSE, Scip::lp, SCIP_CALL, SCIP_OKAY, SCIPsolLinkPseudoSol(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

◆ SCIPlinkCurrentSol()

SCIP_RETCODE SCIPlinkCurrentSol ( SCIP scip,
SCIP_SOL sol 
)

links a primal solution to the current 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
scipSCIP data structure
solprimal solution

Definition at line 37777 of file scip.c.

References checkStage(), FALSE, Scip::lp, SCIP_CALL, SCIP_OKAY, SCIPsolLinkCurrentSol(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by applyCliqueFixings(), and processNlRow().

◆ SCIPclearSol()

SCIP_RETCODE SCIPclearSol ( SCIP scip,
SCIP_SOL sol 
)

clears a primal 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
scipSCIP data structure
solprimal solution

Definition at line 37808 of file scip.c.

References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPsolClear(), Scip::stat, Scip::tree, and TRUE.

Referenced by applyVbounds().

◆ SCIPunlinkSol()

SCIP_RETCODE SCIPunlinkSol ( SCIP scip,
SCIP_SOL sol 
)

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
scipSCIP data structure
solprimal solution

Definition at line 37836 of file scip.c.

References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPsolUnlink(), Scip::set, Scip::transprob, and TRUE.

Referenced by proposeFeasibleSolution(), SCIP_DECL_CONSCHECK(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPperformGenericDivingAlgorithm(), SCIPretransformSol(), and SCIPupdateStartpointHeurSubNlp().

◆ SCIPsetSolVal()

SCIP_RETCODE SCIPsetSolVal ( SCIP scip,
SCIP_SOL sol,
SCIP_VAR var,
SCIP_Real  val 
)

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
scipSCIP data structure
solprimal solution
varvariable to add to solution
valsolution value of variable

Definition at line 37867 of file scip.c.

References checkStage(), FALSE, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolSetVal(), SCIPvarGetName(), SCIPvarIsTransformed(), Scip::set, Scip::stat, Scip::tree, and TRUE.

Referenced by applyOfins(), applyRepair(), buildConvexCombination(), checkCands(), checkSystemGF2(), componentSetupWorkingSol(), computeInteriorPoint(), createNewSol(), createSolFromNLP(), createSolFromSubScipSol(), fixDiscreteVars(), generateCloseCutPoint(), getNLPFracVars(), getSolFromFacet(), handle1Cycle(), handleCycle(), improvePoint(), initProblem(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), optimize(), performRandRounding(), performSimpleRounding(), polishPrimalSolution(), polishSolution(), proposeFeasibleSolution(), readSolFile(), readXmlSolFile(), sampleRandomPoints(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPcomputeLPRelIntPoint(), SCIPcreateFiniteSolCopy(), SCIPmakeIndicatorFeasible(), separateCuts(), solveAndEvalSubscip(), solveComponent(), solveNLP(), and updateSlacks().

◆ SCIPsetSolVals()

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

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
scipSCIP data structure
solprimal solution
nvarsnumber of variables to set solution value for
varsarray with variables to add to solution
valsarray with solution values of variables

Definition at line 37909 of file scip.c.

References checkStage(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolSetVal(), SCIPvarGetName(), SCIPvarIsTransformed(), Scip::set, Scip::stat, Scip::tree, and TRUE.

Referenced by copySol(), createNewSol(), createNewSols(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCREAD(), and SCIP_DECL_HEUREXEC().

◆ SCIPincSolVal()

SCIP_RETCODE SCIPincSolVal ( SCIP scip,
SCIP_SOL sol,
SCIP_VAR var,
SCIP_Real  incval 
)

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
scipSCIP data structure
solprimal solution
varvariable to increase solution value for
incvalincrement for solution value of variable

Definition at line 37964 of file scip.c.

References checkStage(), FALSE, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPsolIncVal(), SCIPsolIsOriginal(), SCIPvarGetName(), SCIPvarIsTransformed(), Scip::set, Scip::stat, Scip::tree, and TRUE.

Referenced by proposeFeasibleSolution().

◆ SCIPgetSolVal()

SCIP_Real SCIPgetSolVal ( SCIP scip,
SCIP_SOL sol,
SCIP_VAR var 
)

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
scipSCIP data structure
solprimal solution, or NULL for current LP/pseudo solution
varvariable to get value for

Definition at line 38007 of file scip.c.

References checkStage(), FALSE, NULL, SCIP_Var::scip, SCIP_CALL_ABORT, SCIPsolGetVal(), SCIPtreeHasCurrentNodeLP(), SCIPvarGetSol(), Scip::set, Scip::stat, Scip::tree, and TRUE.

Referenced by addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), applyOfins(), applyRepair(), branchBalancedCardinality(), branchUnbalancedCardinality(), buildConvexCombination(), checkAndConss(), checkCands(), checkCons(), checkCumulativeCondition(), checkOrigPbCons(), checkSystemGF2(), chooseGuidedVar(), collectBranchingCands(), collectSolution(), computeCut(), computeGradient(), computeIntegerVariableBounds(), computeReferencePointGauge(), computeReferencePointProjection(), computeViolation(), consdataCheckSuperindicator(), consdataGetActivity(), copyValues(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createNAryBranch(), createNewSol(), createSelectedSortedEventpointsSol(), createSolFromSubScipSol(), createSortedEventpointsSol(), createSubproblem(), createSubscip(), CUTOFF_CONSTRAINT(), determineBound(), determineFixings(), determineVariableFixings(), enforceCardinality(), enforceConssSOS1(), enforceConstraint(), enforceCuts(), enforceIndicators(), enforceSOS2(), evalLhs(), evaluateGauge(), extendToCover(), findSubtour(), fixDiscreteVars(), fixNonNeighborhoodVariables(), fixVariables(), generateCloseCutPoint(), generateClusterCuts(), generateCut(), generateCutLTI(), generateCutProjectedPoint(), generateCutSol(), generateSecantCut(), generateSparseCut(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getBranchingVerticesSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFixingValue(), getGradientMaxElement(), getGradientNorm(), getNLPFracVars(), getPotential(), getPotentialContributed(), getRelDistance(), getVectorOfWeights(), improvePoint(), isConvexLocal(), isPossibleToComputeCut(), isViolatedSOS1(), LOPseparate(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), maximalslack(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundLbSOS1(), nodeGetSolvalVarboundUbSOS1(), optimize(), performRandRounding(), polishPrimalSolution(), polishSolution(), proposeBranchingPoint(), proposeFeasibleSolution(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerLargeRelaxValueVariableForBranching(), 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_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SOLVECUMULATIVE(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPcomputeConvexEnvelopeFacet(), SCIPcreateFiniteSolCopy(), SCIPgetViolationAbspower(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPprintSolReaderFzn(), SCIPresolveSolHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPwriteCliqueGraph(), searchEcAggr(), selectEssentialRounding(), selectNextDiving(), selectRounding(), selectShifting(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separateGLS(), separateHeur(), separateIndicators(), separatePerspective(), separatePoint(), sepaSubtour(), setAltLPObj(), solCutIsViolated(), solveAndEvalSubscip(), solveComponent(), solveLp(), solveNLP(), solveSubNLP(), storeAggrFromMIP(), tightenVariables(), tryFixVar(), updateBestCandidate(), updateSlacks(), and updateWeightsTCliquegraph().

◆ SCIPgetSolVals()

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

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
scipSCIP data structure
solprimal solution, or NULL for current LP/pseudo solution
nvarsnumber of variables to get solution value for
varsarray with variables to get value for
valsarray to store solution values of variables

Definition at line 38044 of file scip.c.

References checkStage(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPgetVarSols(), SCIPsolGetVal(), Scip::set, Scip::stat, and TRUE.

Referenced by computeViolations(), copySol(), createNewSol(), createNewSols(), createZerohalfCutFromZerohalfWeightvector(), generateCut(), generateSparseCut(), getGradientMaxElement(), processNlRow(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPcreateFiniteSolCopy(), SCIPevalExprtreeSol(), SCIPseparateKnapsackCuts(), SCIPsetNLPInitialGuessSol(), SCIPsetRelaxSolValsSol(), separateCuts(), and solveCoveringProblem().

◆ SCIPgetSolOrigObj()

SCIP_Real SCIPgetSolOrigObj ( SCIP scip,
SCIP_SOL sol 
)

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
scipSCIP data structure
solprimal solution, or NULL for current LP/pseudo objective value

Definition at line 38090 of file scip.c.

References checkStage(), FALSE, Scip::lp, NULL, Scip::origprob, SCIP_CALL_ABORT, SCIPlpGetObjval(), SCIPlpGetPseudoObjval(), SCIPprobExternObjval(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsOriginal(), SCIPtreeHasCurrentNodeLP(), Scip::set, Scip::transprob, Scip::tree, and TRUE.

Referenced by applyBoundHeur(), applyCliqueFixings(), applyRepair(), applyVbounds(), createNewSol(), getActivities(), presolve(), presolveRound(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyHeurDualval(), SCIPcreateFiniteSolCopy(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPresolveSolHeurSubNlp(), SCIPtransformProb(), SCIPvisualFoundSolution(), separateCuts(), solveAndEvalSubscip(), solveComponent(), and solveCoveringProblem().

◆ SCIPgetSolTransObj()

SCIP_Real SCIPgetSolTransObj ( SCIP scip,
SCIP_SOL sol 
)

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
scipSCIP data structure
solprimal solution, or NULL for current LP/pseudo objective value

Definition at line 38137 of file scip.c.

References checkStage(), FALSE, Scip::lp, NULL, Scip::origprob, SCIP_CALL_ABORT, SCIPlpGetObjval(), SCIPlpGetPseudoObjval(), SCIPsolGetObj(), SCIPtreeHasCurrentNodeLP(), Scip::set, Scip::transprob, Scip::tree, and TRUE.

Referenced by applyHeur(), createNewSol(), getGenVBoundsBound(), proposeFeasibleSolution(), sampleRandomPoints(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPheurSyncPassSol(), SCIPupdateStartpointHeurSubNlp(), SCIPvisualFoundSolution(), solveComponent(), tryOneOpt(), and trySolCandidate().

◆ SCIPrecomputeSolObj()

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)

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:

Definition at line 38168 of file scip.c.

References checkStage(), FALSE, NULL, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPsolRecomputeObj(), Scip::set, Scip::stat, and TRUE.

Referenced by SCIP_DECL_HEUREXEC().

◆ SCIPtransformObj()

SCIP_Real SCIPtransformObj ( SCIP scip,
SCIP_Real  obj 
)

maps original space objective value into transformed objective value

Returns
transformed objective value
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
objoriginal space objective value to transform

Definition at line 38197 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL_ABORT, SCIPprobInternObjval(), Scip::set, Scip::transprob, and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPresolveSolHeurSubNlp(), and SCIPsetObjlimit().

◆ SCIPretransformObj()

SCIP_Real SCIPretransformObj ( SCIP scip,
SCIP_Real  obj 
)

◆ SCIPgetSolTime()

SCIP_Real SCIPgetSolTime ( SCIP scip,
SCIP_SOL sol 
)

gets clock time, when this solution was found

Returns
clock time, when this solution was found
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
solprimal solution

Definition at line 38249 of file scip.c.

References checkStage(), FALSE, SCIP_CALL_ABORT, SCIPsolGetTime(), and TRUE.

◆ SCIPgetSolRunnum()

int SCIPgetSolRunnum ( SCIP scip,
SCIP_SOL sol 
)

gets branch and bound run number, where this solution was found

Returns
branch and bound run number, where this solution was found
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
solprimal solution

Definition at line 38276 of file scip.c.

References checkStage(), FALSE, SCIP_CALL_ABORT, SCIPsolGetRunnum(), and TRUE.

◆ SCIPgetSolNodenum()

SCIP_Longint SCIPgetSolNodenum ( SCIP scip,
SCIP_SOL sol 
)

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

Returns
node number of the specific branch and bound run, where this solution was found
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
solprimal solution

Definition at line 38303 of file scip.c.

References checkStage(), FALSE, SCIP_CALL_ABORT, SCIPsolGetNodenum(), and TRUE.

Referenced by SCIP_DECL_HEUREXEC().

◆ SCIPgetSolHeur()

SCIP_HEUR* SCIPgetSolHeur ( SCIP scip,
SCIP_SOL sol 
)

gets heuristic, that found this solution (or NULL if it's from the tree)

Returns
heuristic, that found this solution (or NULL if it's from the tree)
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
solprimal solution

Definition at line 38330 of file scip.c.

References checkStage(), FALSE, SCIP_CALL_ABORT, SCIPsolGetHeur(), and TRUE.

Referenced by determineVariableFixings(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), and SCIPupdateStartpointHeurSubNlp().

◆ SCIPareSolsEqual()

SCIP_Bool SCIPareSolsEqual ( SCIP scip,
SCIP_SOL sol1,
SCIP_SOL sol2 
)

returns whether two given solutions are exactly equal

Returns
returns whether two given solutions are exactly equal
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
sol1first primal CIP solution
sol2second primal CIP solution

Definition at line 38358 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL_ABORT, SCIPsolsAreEqual(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

◆ SCIPadjustImplicitSolVals()

SCIP_RETCODE SCIPadjustImplicitSolVals ( SCIP scip,
SCIP_SOL sol,
SCIP_Bool  uselprows 
)

adjusts solution values of implicit integer variables in handed solution. Solution objective value is not deteriorated by this method.

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
scipSCIP data structure
solprimal CIP solution
uselprowsshould LP row information be considered for none-objective variables

Definition at line 38378 of file scip.c.

References checkStage(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPsolAdjustImplicitSolVals(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by performSimpleRounding().

◆ SCIPprintSol()

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

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
scipSCIP data structure
solprimal solution, or NULL for current LP/pseudo solution
fileoutput file (or NULL for standard output)
printzerosshould variables set to zero be printed?

Definition at line 38421 of file scip.c.

References checkStage(), FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, NULL, Scip::origprob, Scip::primal, SCIP_Mem::probmem, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPisTransformed(), SCIPmessageFPrintInfo(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), SCIPprintReal(), SCIPprobExternObjval(), SCIPsolCreateCurrentSol(), SCIPsolFree(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolPrint(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by checkSystemGF2(), createCGCutDirect(), enforceConstraint(), fromCommandLine(), performRandRounding(), performSimpleRounding(), runCircle(), runString(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPcreateFiniteSolCopy(), SCIPprintBestSol(), searchEcAggrWithMIP(), separateCuts(), solveCoveringProblem(), and trySolCandidate().

◆ SCIPprintTransSol()

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

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
scipSCIP data structure
solprimal solution, or NULL for current LP/pseudo solution
fileoutput file (or NULL for standard output)
printzerosshould variables set to zero be printed?

Definition at line 38503 of file scip.c.

References checkStage(), FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, NULL, Scip::origprob, Scip::primal, SCIP_Mem::probmem, SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPmessageFPrintInfo(), SCIPprintReal(), SCIPsolCreateCurrentSol(), SCIPsolFree(), SCIPsolGetObj(), SCIPsolIsOriginal(), SCIPsolPrint(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by SCIPprintBestTransSol().

◆ SCIPprintMIPStart()

SCIP_RETCODE SCIPprintMIPStart ( SCIP scip,
SCIP_SOL sol,
FILE *  file 
)

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
scipSCIP data structure
solprimal solution
fileoutput file (or NULL for standard output)

Definition at line 38560 of file scip.c.

References checkStage(), FALSE, Scip::messagehdlr, NULL, Scip::origprob, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPisTransformed(), SCIPmessageFPrintInfo(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), SCIPprintReal(), SCIPprobExternObjval(), SCIPsolGetObj(), SCIPsolGetOrigObj(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolPrint(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPisDualSolAvailable()

SCIP_Bool SCIPisDualSolAvailable ( SCIP scip,
SCIP_Bool  printreason 
)

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:
Parameters
scipSCIP data structure
printreasonprint warning message if dualsol is not available?

Definition at line 38700 of file scip.c.

References checkStage(), SCIP_Prob::conss, FALSE, Scip::messagehdlr, SCIP_Prob::nconss, SCIP_Prob::ncontvars, NULL, SCIP_Prob::nvars, SCIP_Stat::performpresol, SCIP_CALL_ABORT, SCIP_STAGE_SOLVED, SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPgetStage(), SCIPmessageFPrintInfo(), SCIPwarningMessage(), Scip::stat, Scip::transprob, and TRUE.

Referenced by SCIPprintDualSol().

◆ SCIPprintDualSol()

SCIP_RETCODE SCIPprintDualSol ( SCIP scip,
FILE *  file,
SCIP_Bool  printzeros 
)

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:

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
scipSCIP data structure
fileoutput file (or NULL for standard output)
printzerosshould variables set to zero be printed?

Definition at line 38763 of file scip.c.

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

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPprintRay()

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

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
scipSCIP data structure
solprimal solution representing ray
fileoutput file (or NULL for standard output)
printzerosshould variables set to zero be printed?

Definition at line 38796 of file scip.c.

References checkStage(), FALSE, Scip::messagehdlr, NULL, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPsolPrintRay(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

Referenced by applyOfins(), and updatePrimalRay().

◆ 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
scipSCIP data structure

Definition at line 38832 of file scip.c.

References checkStage(), FALSE, SCIP_Primal::nsols, Scip::origprimal, Scip::primal, 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, and TRUE.

Referenced by applyCompletesol(), applyHeur(), applyOfins(), applyRepair(), applyVbounds(), checkEstimateCriterion(), checkLogCriterion(), checkRankOneTransition(), createCGCuts(), createNewSols(), createSubproblem(), determineSolvingPhase(), determineVariableFixings(), presolve(), presolveRound(), runCircle(), runString(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_SEPAEXECLP(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPapplyRens(), SCIPapplyZeroobj(), searchEcAggrWithMIP(), selectSolsRandomized(), solveAndEvalSubscip(), solveCoveringProblem(), solveSubMIP(), solveSubNLP(), solveSubproblem(), storeAggrFromMIP(), and transformSols().

◆ SCIPgetSols()

SCIP_SOL** SCIPgetSols ( SCIP scip)

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
scipSCIP data structure

Definition at line 38881 of file scip.c.

References checkStage(), FALSE, NULL, Scip::origprimal, Scip::primal, 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, SCIPerrorMessage, Scip::set, SCIP_Primal::sols, SCIP_Set::stage, and TRUE.

Referenced by applyCompletesol(), applyOfins(), applyVbounds(), createCGCuts(), createNewSols(), determineVariableFixings(), fixVariables(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyRens(), SCIPapplyZeroobj(), selectSolsRandomized(), solveSubMIP(), solveSubNLP(), solveSubproblem(), and transformSols().

◆ SCIPgetBestSol()

SCIP_SOL* SCIPgetBestSol ( SCIP scip)

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
scipSCIP data structure

Definition at line 38931 of file scip.c.

References checkStage(), FALSE, SCIP_Primal::nsols, NULL, Scip::origprimal, Scip::primal, 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, SCIPerrorMessage, Scip::set, SCIP_Primal::sols, SCIP_Set::stage, and TRUE.

Referenced by addLocalBranchingConstraint(), applyCompletesol(), applyHeur(), applyOfins(), applyRepair(), computeIntegerVariableBounds(), createSubscip(), determineFixings(), determineVariableFixings(), displayRelevantStats(), execRelpscost(), fixAndPropagate(), fromCommandLine(), getActivities(), getFixingValue(), maximalslack(), presolve(), presolveRound(), runCircle(), runString(), SCIP_DECL_CONSEXIT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddCurrentSol(), SCIPaddSol(), SCIPaddSolFree(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPapplyRens(), SCIPcreateFiniteSolCopy(), SCIPprintBestSol(), SCIPprintBestTransSol(), SCIPtransformProb(), SCIPtryCurrentSol(), SCIPtrySol(), SCIPtrySolFree(), searchEcAggrWithMIP(), selectInitialVariable(), solveAndEvalSubscip(), solveComponent(), solveCoveringProblem(), and storeAggrFromMIP().

◆ SCIPprintBestSol()

SCIP_RETCODE SCIPprintBestSol ( SCIP scip,
FILE *  file,
SCIP_Bool  printzeros 
)

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
scipSCIP data structure
fileoutput file (or NULL for standard output)
printzerosshould variables set to zero be printed?

Definition at line 38997 of file scip.c.

References checkStage(), FALSE, Scip::messagehdlr, NULL, SCIP_CALL, SCIP_OKAY, SCIPgetBestSol(), SCIPmessageFPrintInfo(), SCIPprintSol(), and TRUE.

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

◆ SCIPprintBestTransSol()

SCIP_RETCODE SCIPprintBestTransSol ( SCIP scip,
FILE *  file,
SCIP_Bool  printzeros 
)

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
scipSCIP data structure
fileoutput file (or NULL for standard output)
printzerosshould variables set to zero be printed?

Definition at line 39037 of file scip.c.

References checkStage(), FALSE, Scip::messagehdlr, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPgetBestSol(), SCIPmessageFPrintInfo(), SCIPprintTransSol(), SCIPsolIsOriginal(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIProundSol()

SCIP_RETCODE SCIProundSol ( SCIP scip,
SCIP_SOL sol,
SCIP_Bool success 
)

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:
Parameters
scipSCIP data structure
solprimal solution
successpointer to store whether rounding was successful

Definition at line 39073 of file scip.c.

References checkStage(), FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, SCIPsolIsOriginal(), SCIPsolRound(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

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

◆ SCIPretransformSol()

SCIP_RETCODE SCIPretransformSol ( SCIP scip,
SCIP_SOL sol 
)

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
scipSCIP data structure
solprimal CIP solution

Definition at line 39109 of file scip.c.

References checkStage(), FALSE, Scip::origprob, 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, SCIPerrorMessage, SCIPsolGetOrigin(), SCIPsolRetransform(), SCIPunlinkSol(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

Referenced by fromCommandLine().

◆ SCIPreadSol()

SCIP_RETCODE SCIPreadSol ( SCIP scip,
const char *  filename 
)

reads a given solution file, problem has to be transformed in advance

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
scipSCIP data structure
filenamename of the input file

Definition at line 39167 of file scip.c.

References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPreadProb(), and TRUE.

◆ SCIPreadSolFile()

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

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
scipSCIP data structure
filenamename of the input file
solsolution pointer
xmltrue, iff the given solution in written in XML
partialpointer to store if the solution is partial
errorpointer store if an error occured

Definition at line 39509 of file scip.c.

References checkStage(), FALSE, readSolFile(), readXmlSolFile(), SCIP_CALL, SCIP_OKAY, and TRUE.

Referenced by readMst(), and readSol().

◆ SCIPaddSol()

SCIP_RETCODE SCIPaddSol ( SCIP scip,
SCIP_SOL sol,
SCIP_Bool stored 
)

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
scipSCIP data structure
solprimal CIP solution
storedstores whether given solution was good enough to keep

Definition at line 39549 of file scip.c.

References checkStage(), Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, Scip::origprimal, Scip::origprob, Scip::primal, SCIP_Mem::probmem, Scip::reopt, 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, SCIPcreateSolCopy(), SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddOrigSol(), SCIPprimalAddSol(), SCIPprimalAddSolFree(), SCIPsolIsOriginal(), SCIPsolRetransform(), SCIPsolUnlink(), SCIPstoreSolutionGap(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by solveComponent().

◆ SCIPaddSolFree()

SCIP_RETCODE SCIPaddSolFree ( SCIP scip,
SCIP_SOL **  sol,
SCIP_Bool stored 
)

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
scipSCIP data structure
solpointer to primal CIP solution; is cleared in function call
storedstores whether given solution was good enough to keep

Definition at line 39639 of file scip.c.

References checkStage(), Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, NULL, Scip::origprimal, Scip::origprob, Scip::primal, SCIP_Mem::probmem, Scip::reopt, 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, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddOrigSolFree(), SCIPprimalAddSolFree(), SCIPsolIsOriginal(), SCIPsolRetransform(), SCIPsolUnlink(), SCIPstoreSolutionGap(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by applyRepair(), readMst(), readSol(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), and SCIP_DECL_HEUREXEC().

◆ SCIPaddCurrentSol()

SCIP_RETCODE SCIPaddCurrentSol ( SCIP scip,
SCIP_HEUR heur,
SCIP_Bool stored 
)

adds current LP/pseudo solution to solution 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
scipSCIP data structure
heurheuristic that found the solution
storedstores whether given solution was good enough to keep

Definition at line 39709 of file scip.c.

References checkStage(), Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, Scip::origprob, Scip::primal, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPgetBestSol(), SCIPprimalAddCurrentSol(), SCIPstoreSolutionGap(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

◆ SCIPtrySol()

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

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
scipSCIP data structure
solprimal CIP solution
printreasonShould all reasons of violation be printed?
completelyShould all violations be checked?
checkboundsShould the bounds of the variables be checked?
checkintegralityHas integrality to be checked?
checklprowsDo constraints represented by rows in the current LP have to be checked?
storedstores whether given solution was feasible and good enough to keep

Definition at line 39749 of file scip.c.

References checkSolOrig(), checkStage(), Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, NULL, Scip::origprob, Scip::primal, SCIP_Mem::probmem, Scip::reopt, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_PRESOLVING, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddSol(), SCIPprimalTrySol(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolRetransform(), SCIPsolUnlink(), SCIPstoreSolutionGap(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

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

◆ SCIPtrySolFree()

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

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
scipSCIP data structure
solpointer to primal CIP solution; is cleared in function call
printreasonShould all reasons of violations be printed
completelyShould all violation be checked?
checkboundsShould the bounds of the variables be checked?
checkintegralityHas integrality to be checked?
checklprowsDo constraints represented by rows in the current LP have to be checked?
storedstores whether solution was feasible and good enough to keep

Definition at line 39843 of file scip.c.

References checkSolOrig(), checkStage(), Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, NULL, Scip::origprob, Scip::primal, SCIP_Mem::probmem, Scip::reopt, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_PRESOLVING, SCIPerrorMessage, SCIPgetBestSol(), SCIPprimalAddSolFree(), SCIPprimalTrySolFree(), SCIPsolFree(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolRetransform(), SCIPsolUnlink(), SCIPstoreSolutionGap(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by createNewSol(), createNewSols(), performStrongbranchWithPropagation(), readSol(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), solveSubNLP(), storeSolution(), tryOneOpt(), and trySolCandidate().

◆ SCIPtryCurrentSol()

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

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
scipSCIP data structure
heurheuristic that found the solution
printreasonShould all reasons of violations be printed?
completelyShould all violation be checked?
checkintegralityHas integrality to be checked?
checklprowsDo constraints represented by rows in the current LP have to be checked?
storedstores whether given solution was feasible and good enough to keep

Definition at line 39936 of file scip.c.

References checkStage(), Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, Scip::origprob, Scip::primal, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPgetBestSol(), SCIPprimalTryCurrentSol(), SCIPstoreSolutionGap(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by SCIP_DECL_HEUREXEC().

◆ SCIPgetPartialSols()

SCIP_SOL** SCIPgetPartialSols ( SCIP scip)

returns all partial solutions

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
scipSCIP data structure

Definition at line 39979 of file scip.c.

References checkStage(), FALSE, NULL, Scip::origprimal, SCIP_Primal::partialsols, SCIP_CALL_ABORT, and TRUE.

◆ SCIPgetNPartialSols()

int SCIPgetNPartialSols ( SCIP scip)

returns number of partial solutions

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
scipSCIP data structure

Definition at line 40002 of file scip.c.

References checkStage(), FALSE, SCIP_Primal::npartialsols, NULL, Scip::origprimal, SCIP_CALL_ABORT, and TRUE.

◆ SCIPcheckSol()

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

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
scipSCIP data structure
solprimal CIP solution
printreasonShould all reasons of violations be printed?
completelyShould all violation be checked?
checkboundsShould the bounds of the variables be checked?
checkintegralityHas integrality to be checked?
checklprowsDo constraints represented by rows in the current LP have to be checked?
feasiblestores whether given solution is feasible

Definition at line 40029 of file scip.c.

References checkSolOrig(), checkStage(), FALSE, Scip::mem, Scip::messagehdlr, SCIP_Set::misc_exactsolve, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPerrorMessage, SCIPsolCheck(), SCIPsolIsOriginal(), SCIPsolIsPartial(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

Referenced by checkSystemGF2(), solveAndEvalSubscip(), solveComponent(), and solveSubNLP().

◆ SCIPcheckSolOrig()

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

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
scipSCIP data structure
solprimal CIP solution
feasiblestores whether given solution is feasible
printreasonshould the reason for the violation be printed?
completelyshould all violation be checked?

Definition at line 40086 of file scip.c.

References checkSolOrig(), checkStage(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPerrorMessage, SCIPsolIsPartial(), and TRUE.

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

◆ SCIPhasPrimalRay()

SCIP_Bool SCIPhasPrimalRay ( SCIP scip)

return whether a primal ray is stored that proves unboundedness of the LP relaxation

Returns
return whether a primal ray is stored that proves unboundedness of the LP relaxation
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 40124 of file scip.c.

References checkStage(), FALSE, NULL, Scip::primal, SCIP_Primal::primalray, SCIP_CALL_ABORT, and TRUE.

Referenced by applyOfins(), and generateCutUnboundedLP().

◆ SCIPgetPrimalRayVal()

SCIP_Real SCIPgetPrimalRayVal ( SCIP scip,
SCIP_VAR var 
)

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())

Returns
value of given variable in primal ray causing unboundedness of the LP relaxation
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
varvariable to get value for

Definition at line 40142 of file scip.c.

References checkStage(), FALSE, NULL, Scip::primal, SCIP_Primal::primalray, SCIP_Var::scip, SCIP_CALL_ABORT, SCIPsolGetRayVal(), Scip::set, Scip::stat, and TRUE.

Referenced by applyOfins(), and generateCutUnboundedLP().

◆ SCIPupdatePrimalRay()

SCIP_RETCODE SCIPupdatePrimalRay ( SCIP scip,
SCIP_SOL primalray 
)

updates the primal ray thats proves unboundedness

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:

See SCIP_STAGE for a complete list of all possible solving stages.

Parameters
scipSCIP data structure
primalraythe new primal ray

Definition at line 40169 of file scip.c.

References checkStage(), FALSE, Scip::mem, NULL, Scip::primal, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPprimalUpdateRay(), Scip::set, Scip::stat, and TRUE.

Referenced by applyOfins().