SCIP Doxygen Documentation
Loading...
Searching...
No Matches

Detailed Description

methods for storing primal CIP solutions

Author
Tobias Achterberg

Definition in file sol.c.

#include "scip/clock.h"
#include "scip/cons.h"
#include "scip/lp.h"
#include "scip/misc.h"
#include "scip/nlp.h"
#include "scip/primal.h"
#include "scip/prob.h"
#include "scip/pub_lp.h"
#include "scip/pub_message.h"
#include "scip/pub_sol.h"
#include "scip/pub_var.h"
#include "scip/relax.h"
#include "scip/set.h"
#include "scip/sol.h"
#include "scip/stat.h"
#include "scip/struct_lp.h"
#include "scip/struct_prob.h"
#include "scip/struct_set.h"
#include "scip/struct_sol.h"
#include "scip/struct_stat.h"
#include "scip/struct_var.h"
#include "scip/tree.h"
#include "scip/var.h"

Go to the source code of this file.

Functions

static SCIP_RETCODE solClearArrays (SCIP_SOL *sol)
static SCIP_RETCODE solSetArrayVal (SCIP_SOL *sol, SCIP_SET *set, SCIP_VAR *var, SCIP_Real val)
static SCIP_RETCODE solIncArrayVal (SCIP_SOL *sol, SCIP_SET *set, SCIP_VAR *var, SCIP_Real incval)
static SCIP_Real solGetArrayVal (SCIP_SOL *sol, SCIP_VAR *var)
static SCIP_RETCODE solUnlinkVar (SCIP_SOL *sol, SCIP_SET *set, SCIP_VAR *var)
static void solStamp (SCIP_SOL *sol, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_Bool checktime)
SCIP_RETCODE SCIPsolCreate (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolCreateOriginal (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolCopy (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PRIMAL *primal, SCIP_SOL *sourcesol)
SCIP_RETCODE SCIPsolTransform (SCIP_SOL *sol, SCIP_SOL **transsol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PRIMAL *primal)
SCIP_RETCODE SCIPsolAdjustImplicitSolVals (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_TREE *tree, SCIP_Bool uselprows)
SCIP_RETCODE SCIPsolCreateLPSol (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolCreateNLPSol (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_NLP *nlp, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolCreateRelaxSol (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_RELAXATION *relaxation, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolCreatePseudoSol (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolCreateCurrentSol (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolCreatePartial (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PRIMAL *primal, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolCreateUnknown (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_HEUR *heur)
SCIP_RETCODE SCIPsolFree (SCIP_SOL **sol, BMS_BLKMEM *blkmem, SCIP_PRIMAL *primal)
SCIP_RETCODE SCIPsolLinkLPSol (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_TREE *tree, SCIP_LP *lp)
SCIP_RETCODE SCIPsolLinkNLPSol (SCIP_SOL *sol, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_NLP *nlp)
SCIP_RETCODE SCIPsolLinkRelaxSol (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_RELAXATION *relaxation)
SCIP_RETCODE SCIPsolLinkPseudoSol (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_TREE *tree, SCIP_LP *lp)
SCIP_RETCODE SCIPsolLinkCurrentSol (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_TREE *tree, SCIP_LP *lp)
SCIP_RETCODE SCIPsolClear (SCIP_SOL *sol, SCIP_STAT *stat, SCIP_TREE *tree)
SCIP_RETCODE SCIPsolSetUnknown (SCIP_SOL *sol, SCIP_STAT *stat, SCIP_TREE *tree)
SCIP_RETCODE SCIPsolUnlink (SCIP_SOL *sol, SCIP_SET *set, SCIP_PROB *prob)
SCIP_RETCODE SCIPsolSetVal (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_VAR *var, SCIP_Real val)
SCIP_RETCODE SCIPsolIncVal (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_VAR *var, SCIP_Real incval)
SCIP_Real SCIPsolGetVal (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var)
SCIP_Real SCIPsolGetRayVal (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var)
SCIP_Real SCIPsolGetObj (SCIP_SOL *sol, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob)
void SCIPsolUpdateVarObj (SCIP_SOL *sol, SCIP_VAR *var, SCIP_Real oldobj, SCIP_Real newobj)
SCIP_RETCODE SCIPsolMarkPartial (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR **vars, int nvars)
SCIP_RETCODE SCIPsolCheckOrig (SCIP_SOL *sol, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_PRIMAL *primal, SCIP_Bool printreason, SCIP_Bool completely, SCIP_Bool checkbounds, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool checkmodifiable, SCIP_Bool *feasible)
SCIP_RETCODE SCIPsolCheck (SCIP_SOL *sol, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_Bool printreason, SCIP_Bool completely, SCIP_Bool checkbounds, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool *feasible)
SCIP_RETCODE SCIPsolRound (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_TREE *tree, SCIP_Bool *success)
void SCIPsolUpdateVarsum (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_Real weight)
SCIP_RETCODE SCIPsolRetransform (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *origprob, SCIP_PROB *transprob, SCIP_Bool *hasinfval)
void SCIPsolRecomputeObj (SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *origprob)
SCIP_Bool SCIPsolsAreEqual (SCIP_SOL *sol1, SCIP_SOL *sol2, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *origprob, SCIP_PROB *transprob)
SCIP_RETCODE SCIPsolPrint (SCIP_SOL *sol, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_PROB *transprob, FILE *file, SCIP_Bool mipstart, SCIP_Bool printzeros)
SCIP_RETCODE SCIPsolPrintRay (SCIP_SOL *sol, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_PROB *transprob, FILE *file, SCIP_Bool printzeros)
void SCIPsolResetViolations (SCIP_SOL *sol)
void SCIPsolUpdateIntegralityViolation (SCIP_SOL *sol, SCIP_Real absviolintegrality)
void SCIPsolUpdateBoundViolation (SCIP_SOL *sol, SCIP_Real absviolbounds, SCIP_Real relviolbounds)
void SCIPsolUpdateLPRowViolation (SCIP_SOL *sol, SCIP_Real absviollprows, SCIP_Real relviollprows)
void SCIPsolUpdateConsViolation (SCIP_SOL *sol, SCIP_Real absviolcons, SCIP_Real relviolcons)
void SCIPsolUpdateLPConsViolation (SCIP_SOL *sol, SCIP_Real absviol, SCIP_Real relviol)
SCIP_Real SCIPsolGetAbsBoundViolation (SCIP_SOL *sol)
SCIP_Real SCIPsolGetRelBoundViolation (SCIP_SOL *sol)
SCIP_Real SCIPsolGetAbsIntegralityViolation (SCIP_SOL *sol)
SCIP_Real SCIPsolGetAbsLPRowViolation (SCIP_SOL *sol)
SCIP_Real SCIPsolGetRelLPRowViolation (SCIP_SOL *sol)
SCIP_Real SCIPsolGetAbsConsViolation (SCIP_SOL *sol)
SCIP_Real SCIPsolGetRelConsViolation (SCIP_SOL *sol)
SCIP_SOLORIGIN SCIPsolGetOrigin (SCIP_SOL *sol)
SCIP_Bool SCIPsolIsOriginal (SCIP_SOL *sol)
SCIP_Bool SCIPsolIsPartial (SCIP_SOL *sol)
SCIP_Real SCIPsolGetOrigObj (SCIP_SOL *sol)
void SCIPsolOrigAddObjval (SCIP_SOL *sol, SCIP_Real addval)
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)
int SCIPsolGetPrimalIndex (SCIP_SOL *sol)
void SCIPsolSetPrimalIndex (SCIP_SOL *sol, int primalindex)
int SCIPsolGetIndex (SCIP_SOL *sol)
void SCIPsolSetHeur (SCIP_SOL *sol, SCIP_HEUR *heur)
SCIP_SOLTYPE SCIPsolGetType (SCIP_SOL *sol)
SCIP_RELAXSCIPsolGetRelax (SCIP_SOL *sol)
void SCIPsolSetRelax (SCIP_SOL *sol, SCIP_RELAX *relax)
void SCIPsolSetLPRelaxation (SCIP_SOL *sol)
void SCIPsolSetStrongbranching (SCIP_SOL *sol)
void SCIPsolSetPseudo (SCIP_SOL *sol)

Function Documentation

◆ solClearArrays()

SCIP_RETCODE solClearArrays ( SCIP_SOL * sol)
static

clears solution arrays of primal CIP solution

Parameters
solprimal CIP solution

Definition at line 61 of file sol.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPboolarrayClear(), and sol.

Referenced by SCIPsolClear(), SCIPsolLinkLPSol(), SCIPsolLinkNLPSol(), SCIPsolLinkPseudoSol(), SCIPsolLinkRelaxSol(), SCIPsolRetransform(), and SCIPsolSetUnknown().

◆ solSetArrayVal()

SCIP_RETCODE solSetArrayVal ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_VAR * var,
SCIP_Real val )
static

sets value of variable in the solution's array

Parameters
solprimal CIP solution
setglobal SCIP settings
varproblem variable
valvalue to set variable to

Definition at line 75 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_UNKNOWN, SCIPboolarraySetVal(), SCIPrealarraySetVal(), SCIPsetIsInfinity(), SCIPvarGetIndex(), SCIPvarMarkNotDeletable(), sol, TRUE, and var.

Referenced by SCIPsolRetransform(), SCIPsolSetVal(), and solUnlinkVar().

◆ solIncArrayVal()

SCIP_RETCODE solIncArrayVal ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_VAR * var,
SCIP_Real incval )
static

increases value of variable in the solution's array

Parameters
solprimal CIP solution
setglobal SCIP settings
varproblem variable
incvalincrease of variable's solution value

Definition at line 106 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_UNKNOWN, SCIPboolarrayGetVal(), SCIPboolarraySetVal(), SCIPrealarrayGetVal(), SCIPrealarrayIncVal(), SCIPrealarraySetVal(), SCIPsetIsInfinity(), SCIPvarGetIndex(), SCIPvarMarkNotDeletable(), sol, TRUE, and var.

Referenced by SCIPsolIncVal().

◆ solGetArrayVal()

◆ solUnlinkVar()

◆ solStamp()

void solStamp ( SCIP_SOL * sol,
SCIP_STAT * stat,
SCIP_TREE * tree,
SCIP_Bool checktime )
static

sets the solution time, nodenum, runnum, and depth stamp to the current values

Parameters
solprimal CIP solution
statproblem statistics data
treebranch and bound tree, or NULL
checktimeshould the time be updated?

Definition at line 260 of file sol.c.

References assert(), SCIP_Stat::lpcount, SCIP_Stat::nnodes, SCIP_Stat::nruns, NULL, SCIP_Bool, SCIPclockGetLastTime(), SCIPclockGetTime(), SCIPtreeGetCurrentDepth(), sol, and SCIP_Stat::solvingtime.

Referenced by SCIPsolClear(), SCIPsolCreate(), SCIPsolCreateOriginal(), SCIPsolCreatePartial(), SCIPsolCreateUnknown(), SCIPsolIncVal(), SCIPsolLinkLPSol(), SCIPsolLinkNLPSol(), SCIPsolLinkPseudoSol(), SCIPsolLinkRelaxSol(), SCIPsolSetUnknown(), and SCIPsolSetVal().

◆ SCIPsolCreate()

SCIP_RETCODE SCIPsolCreate ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PRIMAL * primal,
SCIP_TREE * tree,
SCIP_HEUR * heur )

creates primal CIP solution, initialized to zero

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
primalprimal data
treebranch and bound tree
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 288 of file sol.c.

References assert(), BMSallocBlockMemory, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_ZERO, SCIPboolarrayCreate(), SCIPprimalSolCreated(), SCIPrealarrayCreate(), SCIPsolResetViolations(), SCIPsolSetHeur(), sol, SCIP_Stat::solindex, solStamp(), and TRUE.

Referenced by SCIPcreateSol(), SCIPprimalTransformSol(), SCIPsolCreateLPSol(), SCIPsolCreateNLPSol(), SCIPsolCreatePseudoSol(), SCIPsolCreateRelaxSol(), and updatePrimalRay().

◆ SCIPsolCreateOriginal()

SCIP_RETCODE SCIPsolCreateOriginal ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * origprob,
SCIP_PRIMAL * primal,
SCIP_TREE * tree,
SCIP_HEUR * heur )

creates primal CIP solution in original problem space, initialized to the offset in the original problem

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
origproboriginal problem data
primalprimal data
treebranch and bound tree
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 325 of file sol.c.

References assert(), BMSallocBlockMemory, FALSE, NULL, SCIP_Prob::objoffset, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_ORIGINAL, SCIPboolarrayCreate(), SCIPprimalSolCreated(), SCIPrealarrayCreate(), SCIPsolResetViolations(), SCIPsolSetHeur(), sol, SCIP_Stat::solindex, solStamp(), and TRUE.

Referenced by SCIPcreateOrigSol(), and SCIPcreateSol().

◆ SCIPsolCopy()

◆ SCIPsolTransform()

SCIP_RETCODE SCIPsolTransform ( SCIP_SOL * sol,
SCIP_SOL ** transsol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_PRIMAL * primal )

transformes given original solution to the transformed space; a corresponding transformed solution has to be given which is copied into the existing solution and freed afterwards

Parameters
solprimal CIP solution to change, living in original space
transsolpointer to corresponding transformed primal CIP solution
blkmemblock memory
setglobal SCIP settings
primalprimal data

Definition at line 426 of file sol.c.

References assert(), NULL, SCIP_Sol::obj, SCIP_CALL, SCIP_OKAY, SCIPsolFree(), SCIPsolIsOriginal(), sol, SCIP_Sol::solorigin, SCIP_Sol::valid, and SCIP_Sol::vals.

Referenced by primalAddSol().

◆ SCIPsolAdjustImplicitSolVals()

SCIP_RETCODE SCIPsolAdjustImplicitSolVals ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_TREE * tree,
SCIP_Bool uselprows )

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

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
probeither original or transformed problem, depending on sol origin
treebranch and bound tree
uselprowsshould LP row information be considered for none-objective variables

Definition at line 473 of file sol.c.

References assert(), FALSE, nbinvars, nintvars, NULL, obj, r, roundup, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIP_VARTYPE_IMPLINT, SCIPcolGetNNonz(), SCIPcolGetRows(), SCIPcolGetVals(), SCIPprobGetNBinVars(), SCIPprobGetNImplVars(), SCIPprobGetNIntVars(), SCIPprobGetVars(), SCIProwGetLhs(), SCIProwGetRhs(), SCIProwGetSolActivity(), SCIProwIsInLP(), SCIProwIsLocal(), SCIPsetCeil(), SCIPsetFloor(), SCIPsetIsFeasGE(), SCIPsetIsFeasGT(), SCIPsetIsFeasIntegral(), SCIPsetIsFeasLE(), SCIPsetIsFeasLT(), SCIPsetIsFeasNegative(), SCIPsetIsFeasPositive(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPsetIsZero(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetCol(), SCIPvarGetLbGlobal(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarGetUnchangedObj(), sol, TRUE, var, and vars.

Referenced by SCIPadjustImplicitSolVals().

◆ SCIPsolCreateLPSol()

SCIP_RETCODE SCIPsolCreateLPSol ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_PRIMAL * primal,
SCIP_TREE * tree,
SCIP_LP * lp,
SCIP_HEUR * heur )

creates primal CIP solution, initialized to the current LP solution

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
probtransformed problem data
primalprimal data
treebranch and bound tree
lpcurrent LP data
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 608 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPlpIsSolved(), SCIPsolCreate(), SCIPsolLinkLPSol(), and sol.

Referenced by addCurrentSolution(), SCIPcreateLPSol(), SCIPsolCreateCurrentSol(), SCIPsolveCIP(), and solveNodeLP().

◆ SCIPsolCreateNLPSol()

SCIP_RETCODE SCIPsolCreateNLPSol ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PRIMAL * primal,
SCIP_TREE * tree,
SCIP_NLP * nlp,
SCIP_HEUR * heur )

creates primal CIP solution, initialized to the current NLP solution

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
primalprimal data
treebranch and bound tree
nlpcurrent NLP data
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 631 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPsolCreate(), SCIPsolLinkNLPSol(), and sol.

Referenced by SCIPcreateNLPSol(), and SCIPnlrowRecalcNLPActivity().

◆ SCIPsolCreateRelaxSol()

SCIP_RETCODE SCIPsolCreateRelaxSol ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PRIMAL * primal,
SCIP_TREE * tree,
SCIP_RELAXATION * relaxation,
SCIP_HEUR * heur )

creates primal CIP solution, initialized to the current relaxation solution

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
primalprimal data
treebranch and bound tree
relaxationglobal relaxation data
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 652 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPrelaxationGetSolRelax(), SCIPrelaxationIsSolValid(), SCIPsolCreate(), SCIPsolLinkRelaxSol(), SCIPsolSetRelax(), and sol.

Referenced by addCurrentSolution(), enforceConstraints(), SCIPcreateRelaxSol(), SCIPsolveCIP(), and solveNode().

◆ SCIPsolCreatePseudoSol()

SCIP_RETCODE SCIPsolCreatePseudoSol ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_PRIMAL * primal,
SCIP_TREE * tree,
SCIP_LP * lp,
SCIP_HEUR * heur )

creates primal CIP solution, initialized to the current pseudo solution

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
probtransformed problem data
primalprimal data
treebranch and bound tree, or NULL
lpcurrent LP data
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 678 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPsolCreate(), SCIPsolLinkPseudoSol(), SCIPsolSetPseudo(), and sol.

Referenced by addCurrentSolution(), SCIPcreatePseudoSol(), SCIPnlrowRecalcPseudoActivity(), SCIPsolCreateCurrentSol(), and SCIPsolveCIP().

◆ SCIPsolCreateCurrentSol()

SCIP_RETCODE SCIPsolCreateCurrentSol ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_PRIMAL * primal,
SCIP_TREE * tree,
SCIP_LP * lp,
SCIP_HEUR * heur )

creates primal CIP solution, initialized to the current solution

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
probtransformed problem data
primalprimal data
treebranch and bound tree
lpcurrent LP data
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 703 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPsolCreateLPSol(), SCIPsolCreatePseudoSol(), SCIPtreeHasCurrentNodeLP(), and sol.

Referenced by primalLinkCurrentSol(), SCIPcreateCurrentSol(), SCIPprintSol(), SCIPprintTransSol(), and solveNode().

◆ SCIPsolCreatePartial()

SCIP_RETCODE SCIPsolCreatePartial ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PRIMAL * primal,
SCIP_HEUR * heur )

creates partial primal CIP solution, initialized to unknown values

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
primalprimal data
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 730 of file sol.c.

References assert(), BMSallocBlockMemory, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_PARTIAL, SCIP_UNKNOWN, SCIPboolarrayCreate(), SCIPprimalSolCreated(), SCIPrealarrayCreate(), SCIPsolResetViolations(), SCIPsolSetHeur(), sol, SCIP_Stat::solindex, solStamp(), and TRUE.

Referenced by SCIPcreatePartialSol().

◆ SCIPsolCreateUnknown()

SCIP_RETCODE SCIPsolCreateUnknown ( SCIP_SOL ** sol,
BMS_BLKMEM * blkmem,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PRIMAL * primal,
SCIP_TREE * tree,
SCIP_HEUR * heur )

creates primal CIP solution, initialized to unknown values

Parameters
solpointer to primal CIP solution
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
primalprimal data
treebranch and bound tree
heurheuristic that found the solution (or NULL if it's from the tree)

Definition at line 766 of file sol.c.

References assert(), BMSallocBlockMemory, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_UNKNOWN, SCIPboolarrayCreate(), SCIPprimalSolCreated(), SCIPrealarrayCreate(), SCIPsolResetViolations(), SCIPsolSetHeur(), sol, SCIP_Stat::solindex, solStamp(), and TRUE.

Referenced by SCIPcreateUnknownSol().

◆ SCIPsolFree()

◆ SCIPsolLinkLPSol()

SCIP_RETCODE SCIPsolLinkLPSol ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_TREE * tree,
SCIP_LP * lp )

copies current LP solution into CIP solution by linking

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
probtransformed problem data
treebranch and bound tree
lpcurrent LP data

Definition at line 820 of file sol.c.

References assert(), c, NULL, SCIP_Col::primsol, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_LPSOL, SCIPcolGetVar(), SCIPlpDiving(), SCIPlpDivingObjChanged(), SCIPlpGetCols(), SCIPlpGetLooseObjval(), SCIPlpGetNCols(), SCIPlpGetObjval(), SCIPsetDebugMsg, SCIPsetIsInfinity(), SCIPtreeProbing(), SCIPvarGetUnchangedObj(), sol, solClearArrays(), solStamp(), SCIP_Lp::solved, TRUE, and var.

Referenced by SCIPlinkLPSol(), SCIPsolCreateLPSol(), and SCIPsolLinkCurrentSol().

◆ SCIPsolLinkNLPSol()

SCIP_RETCODE SCIPsolLinkNLPSol ( SCIP_SOL * sol,
SCIP_STAT * stat,
SCIP_TREE * tree,
SCIP_NLP * nlp )

copies current NLP solution into CIP solution by linking

Parameters
solprimal CIP solution
statproblem statistics data
treebranch and bound tree
nlpcurrent NLP data

Definition at line 878 of file sol.c.

References assert(), NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_NLPSOL, SCIPnlpGetNVars(), SCIPnlpGetObjval(), SCIPnlpGetVars(), SCIPnlpHasSolution(), SCIPnlpIsDivingObjChanged(), SCIPstatDebugMsg, SCIPvarGetNLPSol(), SCIPvarGetUnchangedObj(), SCIPvarIsActive(), sol, solClearArrays(), solStamp(), TRUE, and vars.

Referenced by SCIPlinkNLPSol(), and SCIPsolCreateNLPSol().

◆ SCIPsolLinkRelaxSol()

SCIP_RETCODE SCIPsolLinkRelaxSol ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_TREE * tree,
SCIP_RELAXATION * relaxation )

copies current relaxation solution into CIP solution by linking

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
treebranch and bound tree
relaxationglobal relaxation data

Definition at line 929 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_RELAXSOL, SCIPrelaxationGetSolObj(), SCIPrelaxationIsSolValid(), SCIPsetDebugMsg, sol, solClearArrays(), solStamp(), and TRUE.

Referenced by SCIPlinkRelaxSol(), and SCIPsolCreateRelaxSol().

◆ SCIPsolLinkPseudoSol()

SCIP_RETCODE SCIPsolLinkPseudoSol ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_TREE * tree,
SCIP_LP * lp )

copies current pseudo solution into CIP solution by linking

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
probtransformed problem data
treebranch and bound tree, or NULL
lpcurrent LP data

Definition at line 959 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_PSEUDOSOL, SCIPlpGetPseudoObjval(), SCIPsetDebugMsg, sol, solClearArrays(), solStamp(), and TRUE.

Referenced by SCIPlinkPseudoSol(), SCIPsolCreatePseudoSol(), and SCIPsolLinkCurrentSol().

◆ SCIPsolLinkCurrentSol()

SCIP_RETCODE SCIPsolLinkCurrentSol ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_TREE * tree,
SCIP_LP * lp )

copies current solution (LP or pseudo solution) into CIP solution by linking

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
probtransformed problem data
treebranch and bound tree
lpcurrent LP data

Definition at line 988 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPlpIsSolved(), SCIPsetDebugMsg, SCIPsolLinkLPSol(), SCIPsolLinkPseudoSol(), SCIPtreeHasCurrentNodeLP(), and sol.

Referenced by primalLinkCurrentSol(), and SCIPlinkCurrentSol().

◆ SCIPsolClear()

SCIP_RETCODE SCIPsolClear ( SCIP_SOL * sol,
SCIP_STAT * stat,
SCIP_TREE * tree )

clears primal CIP solution

Parameters
solprimal CIP solution
statproblem statistics data
treebranch and bound tree

Definition at line 1014 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_ZERO, sol, solClearArrays(), solStamp(), and TRUE.

Referenced by SCIPclearSol().

◆ SCIPsolSetUnknown()

SCIP_RETCODE SCIPsolSetUnknown ( SCIP_SOL * sol,
SCIP_STAT * stat,
SCIP_TREE * tree )

declares all entries in the primal CIP solution to be unknown

Parameters
solprimal CIP solution
statproblem statistics data
treebranch and bound tree

Definition at line 1031 of file sol.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_UNKNOWN, sol, solClearArrays(), solStamp(), and TRUE.

◆ SCIPsolUnlink()

SCIP_RETCODE SCIPsolUnlink ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_PROB * prob )

stores solution values of variables in solution's own array

Parameters
solprimal CIP solution
setglobal SCIP settings
probtransformed problem data

Definition at line 1048 of file sol.c.

References assert(), NULL, SCIP_Prob::nvars, SCIP_CALL, SCIP_OKAY, SCIP_SOLORIGIN_UNKNOWN, SCIP_SOLORIGIN_ZERO, SCIPsetDebugMsg, SCIPsolIsOriginal(), sol, solUnlinkVar(), and SCIP_Prob::vars.

Referenced by primalAddSol(), and SCIPunlinkSol().

◆ SCIPsolSetVal()

SCIP_RETCODE SCIPsolSetVal ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_TREE * tree,
SCIP_VAR * var,
SCIP_Real val )

sets value of variable in primal CIP solution

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
treebranch and bound tree, or NULL
varvariable to add to solution
valsolution value of variable

Definition at line 1077 of file sol.c.

References ABS, assert(), FALSE, SCIP_Stat::lpcount, MAX, SCIP_Stat::nnodes, SCIP_Stat::nruns, NULL, obj, SCIP_CALL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_SOLORIGIN_LPSOL, SCIP_SOLORIGIN_ORIGINAL, SCIP_SOLORIGIN_PARTIAL, SCIP_SOLORIGIN_UNKNOWN, SCIP_SOLORIGIN_ZERO, SCIP_UNKNOWN, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPboolarrayGetVal(), SCIPerrorMessage, SCIPisFinite, SCIPsetDebugMsg, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPsolSetVal(), SCIPvarGetAggrConstant(), SCIPvarGetAggrScalar(), SCIPvarGetAggrVar(), SCIPvarGetIndex(), SCIPvarGetLbGlobal(), SCIPvarGetMultaggrConstant(), SCIPvarGetMultaggrNVars(), SCIPvarGetMultaggrScalars(), SCIPvarGetMultaggrVars(), SCIPvarGetName(), SCIPvarGetNegationConstant(), SCIPvarGetNegationVar(), SCIPvarGetStatus(), SCIPvarGetTransVar(), SCIPvarGetUnchangedObj(), sol, solGetArrayVal(), solSetArrayVal(), solStamp(), and var.

Referenced by SCIPprimalTransformSol(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPsolAdjustImplicitSolVals(), SCIPsolRound(), SCIPsolSetVal(), separateAlternativeProofs(), and updatePrimalRay().

◆ SCIPsolIncVal()

◆ SCIPsolGetVal()

SCIP_Real SCIPsolGetVal ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_VAR * var )

returns value of variable in primal CIP solution

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
varvariable to get value for

Definition at line 1372 of file sol.c.

References assert(), i, SCIP_Stat::lpcount, SCIP_Stat::nnodes, SCIP_Stat::nruns, NULL, nvars, scalars, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIP_SOLORIGIN_LPSOL, SCIP_SOLORIGIN_ORIGINAL, SCIP_SOLORIGIN_PARTIAL, SCIP_SOLORIGIN_UNKNOWN, SCIP_SOLORIGIN_ZERO, SCIP_UNKNOWN, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPboolarrayGetVal(), SCIPerrorMessage, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPsolGetVal(), SCIPsolIsOriginal(), SCIPvarGetAggrConstant(), SCIPvarGetAggrScalar(), SCIPvarGetAggrVar(), SCIPvarGetIndex(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetMultaggrConstant(), SCIPvarGetMultaggrNVars(), SCIPvarGetMultaggrScalars(), SCIPvarGetMultaggrVars(), SCIPvarGetNegationConstant(), SCIPvarGetNegationVar(), SCIPvarGetOrigvarSum(), SCIPvarGetStatus(), SCIPvarGetTransVar(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIPvarIsTransformed(), sol, solGetArrayVal(), var, and vars.

Referenced by SCIPgetSolVal(), SCIPgetSolVals(), SCIPnlrowGetSolActivity(), SCIPprimalTransformSol(), SCIProwGetLPSolCutoffDistance(), SCIProwGetSolActivity(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolCheckOrig(), SCIPsolGetVal(), SCIPsolMarkPartial(), SCIPsolPrint(), SCIPsolRecomputeObj(), SCIPsolRetransform(), SCIPsolsAreEqual(), SCIPsolUpdateVarsum(), SCIPvarGetClosestVlb(), SCIPvarGetClosestVub(), separateSolution(), and soltreeAddSol().

◆ SCIPsolGetRayVal()

◆ SCIPsolGetObj()

SCIP_Real SCIPsolGetObj ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_PROB * transprob,
SCIP_PROB * origprob )

◆ SCIPsolUpdateVarObj()

void SCIPsolUpdateVarObj ( SCIP_SOL * sol,
SCIP_VAR * var,
SCIP_Real oldobj,
SCIP_Real newobj )

updates primal solutions after a change in a variable's objective value

Parameters
solprimal CIP solution
varproblem variable
oldobjold objective value
newobjnew objective value

Definition at line 1588 of file sol.c.

References assert(), newobj, NULL, oldobj, SCIP_Real, SCIP_UNKNOWN, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPsolIsOriginal(), SCIPvarGetStatus(), sol, solGetArrayVal(), and var.

Referenced by SCIPprimalUpdateVarObj().

◆ SCIPsolMarkPartial()

SCIP_RETCODE SCIPsolMarkPartial ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_VAR ** vars,
int nvars )
Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics
varsproblem variables
nvarsnumber of problem variables

Definition at line 1607 of file sol.c.

References assert(), FALSE, NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_SOLORIGIN_ORIGINAL, SCIP_SOLORIGIN_PARTIAL, SCIP_UNKNOWN, SCIPboolarraySetVal(), SCIPrealarraySetVal(), SCIPsetAllocBufferArray, SCIPsetFreeBufferArray, SCIPsolGetVal(), SCIPvarGetIndex(), SCIPvarIsTransformed(), SCIPvarMarkNotDeletable(), sol, TRUE, and vars.

Referenced by readSolFile(), and readXmlSolFile().

◆ SCIPsolCheckOrig()

SCIP_RETCODE SCIPsolCheckOrig ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_MESSAGEHDLR * messagehdlr,
BMS_BLKMEM * blkmem,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_PRIMAL * primal,
SCIP_Bool printreason,
SCIP_Bool completely,
SCIP_Bool checkbounds,
SCIP_Bool checkintegrality,
SCIP_Bool checklprows,
SCIP_Bool checkmodifiable,
SCIP_Bool * feasible )

checks solution for feasibility in original problem without adding it to the solution store

We first check the variable bounds. Then we loop over all constraint handlers and constraints, checking each in the order of their check priority.

Parameters
solprimal CIP solution
setglobal SCIP settings
messagehdlrmessage handler
blkmemblock memory
statproblem statistics
probtransformed problem data
primalprimal data
printreasonShould the reason for the violation be printed?
completelyShould all violations be checked if printreason is true?
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?
checkmodifiablehave modifiable constraint to be checked?
feasiblestores whether given solution is feasible

Definition at line 1671 of file sol.c.

References assert(), c, FALSE, h, SCIP_Prob::nconss, NULL, SCIP_Prob::nvars, SCIP_Prob::origcheckconss, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_OKAY, SCIP_Real, SCIPconsCheck(), SCIPconsGetHdlr(), SCIPconshdlrCheck(), SCIPconshdlrGetCheckPriority(), SCIPconshdlrNeedsCons(), SCIPconsIsChecked(), SCIPconsIsModifiable(), SCIPmessagePrintInfo(), SCIPprimalUpdateViolations(), SCIPprobSortConssCheck(), SCIPrelDiff(), SCIPsetIsFeasGT(), SCIPsetIsFeasLT(), SCIPsolGetVal(), SCIPsolResetViolations(), SCIPsolUpdateBoundViolation(), SCIPvarGetLbOriginal(), SCIPvarGetName(), SCIPvarGetUbOriginal(), sol, SCIP_Prob::transformed, TRUE, var, and SCIP_Prob::vars.

Referenced by SCIPcheckSol(), SCIPcheckSolOrig(), SCIPtransformProb(), SCIPtryCurrentSol(), SCIPtrySol(), and SCIPtrySolFree().

◆ SCIPsolCheck()

SCIP_RETCODE SCIPsolCheck ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_MESSAGEHDLR * messagehdlr,
BMS_BLKMEM * blkmem,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_Bool printreason,
SCIP_Bool completely,
SCIP_Bool checkbounds,
SCIP_Bool checkintegrality,
SCIP_Bool checklprows,
SCIP_Bool * feasible )

checks primal CIP solution for feasibility

Note
The difference between SCIPsolCheck() and SCIPcheckSolOrig() is that modifiable constraints are handled differently. There might be some variables which do not have an original counter part (e.g. in branch-and-price). Therefore, modifiable constraints can not be double-checked in the original space.
Parameters
solprimal CIP solution
setglobal SCIP settings
messagehdlrmessage handler
blkmemblock memory
statproblem statistics
probtransformed problem data
printreasonShould all reasons of violations 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?
feasiblestores whether solution is feasible

Definition at line 1838 of file sol.c.

References assert(), FALSE, h, MAX, NULL, SCIP_Prob::nvars, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_LONGINT_FORMAT, SCIP_OKAY, SCIP_Real, SCIP_UNKNOWN, SCIPconshdlrCheck(), SCIPconshdlrGetName(), SCIPdebugPrintf, SCIPmessagePrintInfo(), SCIPsetDebugMsg, SCIPsetDebugMsgPrint, SCIPsetIsFeasGT(), SCIPsetIsFeasLT(), SCIPsetIsGE(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPsolGetVal(), SCIPsolIsOriginal(), SCIPsolResetViolations(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPvarGetUnchangedObj(), sol, TRUE, var, and SCIP_Prob::vars.

Referenced by primalAddSol(), SCIPcheckSol(), SCIPprimalTrySol(), SCIPprimalTrySolFree(), and solveNodeLP().

◆ SCIPsolRound()

SCIP_RETCODE SCIPsolRound ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_TREE * tree,
SCIP_Bool * success )

try to round given solution

Parameters
solprimal solution
setglobal SCIP settings
statproblem statistics data
probtransformed problem data
treebranch and bound tree
successpointer to store whether rounding was successful

Definition at line 1959 of file sol.c.

References assert(), SCIP_Stat::lpcount, mayrounddown, mayroundup, SCIP_Prob::nbinvars, SCIP_Prob::nintvars, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_SOLORIGIN_LPSOL, SCIP_UNKNOWN, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPboolarrayGetVal(), SCIPsetFeasCeil(), SCIPsetFeasFloor(), SCIPsetIsFeasIntegral(), SCIPsolIsOriginal(), SCIPsolSetVal(), SCIPvarGetIndex(), SCIPvarGetStatus(), SCIPvarGetUnchangedObj(), SCIPvarMayRoundDown(), SCIPvarMayRoundUp(), sol, solGetArrayVal(), SCIP_Prob::transformed, var, and SCIP_Prob::vars.

Referenced by SCIProundSol().

◆ SCIPsolUpdateVarsum()

void SCIPsolUpdateVarsum ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_Real weight )

updates the solution value sums in variables by adding the value in the given solution

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
probtransformed problem data
weightweight of solution in weighted average

Definition at line 2031 of file sol.c.

References assert(), NULL, SCIP_Prob::nvars, SCIP_Var::primsolavg, SCIP_Real, SCIP_UNKNOWN, SCIPsolGetVal(), SCIPsolIsOriginal(), sol, and SCIP_Prob::vars.

Referenced by primalAddSol().

◆ SCIPsolRetransform()

SCIP_RETCODE SCIPsolRetransform ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * origprob,
SCIP_PROB * transprob,
SCIP_Bool * hasinfval )

retransforms solution to original problem space

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
origproboriginal problem
transprobtransformed problem
hasinfvalpointer to store whether the solution has infinite values

Definition at line 2059 of file sol.c.

References assert(), FALSE, i, NULL, nvars, SCIP_Prob::nvars, SCIP_Prob::objoffset, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_SOLORIGIN_ORIGINAL, SCIP_SOLORIGIN_ZERO, SCIP_UNKNOWN, SCIPsetAllocBufferArray, SCIPsetFreeBufferArray, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPsolGetVal(), SCIPvarGetActiveRepresentatives(), SCIPvarGetObj(), SCIPvarGetProbindex(), SCIPvarGetUnchangedObj(), sol, solClearArrays(), solSetArrayVal(), SCIP_Prob::transformed, TRUE, SCIP_Prob::vars, and vars.

Referenced by freeTransform(), primalAddSol(), SCIPprimalRetransformSolutions(), SCIPretransformSol(), and SCIPsolve().

◆ SCIPsolRecomputeObj()

void SCIPsolRecomputeObj ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * origprob )

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)

Parameters
solprimal CIP solution
setglobal SCIP settings
statproblem statistics data
origproboriginal problem

Definition at line 2186 of file sol.c.

References assert(), NULL, nvars, SCIP_Prob::nvars, SCIP_Real, SCIP_UNKNOWN, SCIPprobGetObjoffset(), SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPsolGetVal(), SCIPsolIsOriginal(), SCIPvarGetUnchangedObj(), sol, SCIP_Prob::vars, and vars.

Referenced by SCIPrecomputeSolObj(), and SCIPtransformProb().

◆ SCIPsolsAreEqual()

SCIP_Bool SCIPsolsAreEqual ( SCIP_SOL * sol1,
SCIP_SOL * sol2,
SCIP_SET * set,
SCIP_STAT * stat,
SCIP_PROB * origprob,
SCIP_PROB * transprob )

returns whether the given solutions are equal

Parameters
sol1first primal CIP solution
sol2second primal CIP solution
setglobal SCIP settings
statproblem statistics data
origproboriginal problem
transprobtransformed problem after presolve, or NULL if both solution are defined in the original problem space

Definition at line 2221 of file sol.c.

References assert(), FALSE, NULL, SCIP_Prob::nvars, SCIP_Sol::obj, SCIP_Bool, SCIP_Real, SCIPsetIsEQ(), SCIPsetIsInfinity(), SCIPsolGetObj(), SCIPsolGetVal(), SCIPsolIsOriginal(), TRUE, and SCIP_Prob::vars.

Referenced by primalExistsOrigSol(), primalExistsSol(), and SCIPareSolsEqual().

◆ SCIPsolPrint()

SCIP_RETCODE SCIPsolPrint ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_MESSAGEHDLR * messagehdlr,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_PROB * transprob,
FILE * file,
SCIP_Bool mipstart,
SCIP_Bool printzeros )

outputs non-zero elements of solution to file stream

Parameters
solprimal CIP solution
setglobal SCIP settings
messagehdlrmessage handler
statproblem statistics data
probproblem data (original or transformed)
transprobtransformed problem data or NULL (to display priced variables)
fileoutput file (or NULL for standard output)
mipstartshould only discrete variables be printed?
printzerosshould variables set to zero be printed?

Definition at line 2286 of file sol.c.

References assert(), SCIP_Prob::fixedvars, SCIP_Prob::nfixedvars, NULL, SCIP_Prob::nvars, SCIP_Bool, SCIP_OKAY, SCIP_Real, SCIP_SOLORIGIN_PARTIAL, SCIP_UNKNOWN, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPsolGetVal(), SCIPsolIsOriginal(), SCIPsolIsPartial(), SCIPvarGetName(), SCIPvarGetUnchangedObj(), SCIPvarIsIntegral(), SCIPvarIsTransformedOrigvar(), sol, SCIP_Prob::transformed, and SCIP_Prob::vars.

Referenced by primalAddSol(), SCIPprintMIPStart(), SCIPprintSol(), SCIPprintTransSol(), and SCIPsolve().

◆ SCIPsolPrintRay()

SCIP_RETCODE SCIPsolPrintRay ( SCIP_SOL * sol,
SCIP_SET * set,
SCIP_MESSAGEHDLR * messagehdlr,
SCIP_STAT * stat,
SCIP_PROB * prob,
SCIP_PROB * transprob,
FILE * file,
SCIP_Bool printzeros )

outputs non-zero elements of solution representing a ray to file stream

Parameters
solprimal CIP solution
setglobal SCIP settings
messagehdlrmessage handler
statproblem statistics data
probproblem data (original or transformed)
transprobtransformed problem data or NULL (to display priced variables)
fileoutput file (or NULL for standard output)
printzerosshould variables set to zero be printed?

Definition at line 2422 of file sol.c.

References assert(), SCIP_Prob::fixedvars, SCIP_Prob::nfixedvars, NULL, SCIP_Prob::nvars, SCIP_Bool, SCIP_OKAY, SCIP_Real, SCIP_UNKNOWN, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPsolGetRayVal(), SCIPsolIsOriginal(), SCIPvarGetName(), SCIPvarGetUnchangedObj(), SCIPvarIsTransformedOrigvar(), sol, SCIP_Prob::transformed, and SCIP_Prob::vars.

Referenced by SCIPprintRay().

◆ SCIPsolResetViolations()

void SCIPsolResetViolations ( SCIP_SOL * sol)

reset violations of a solution

Parameters
solprimal CIP solution

Definition at line 2534 of file sol.c.

References assert(), NULL, and sol.

Referenced by SCIPsolCheck(), SCIPsolCheckOrig(), SCIPsolCreate(), SCIPsolCreateOriginal(), SCIPsolCreatePartial(), and SCIPsolCreateUnknown().

◆ SCIPsolUpdateIntegralityViolation()

void SCIPsolUpdateIntegralityViolation ( SCIP_SOL * sol,
SCIP_Real absviolintegrality )

update integrality violation of a solution

Parameters
solprimal CIP solution
absviolintegralityabsolute violation of integrality

Definition at line 2550 of file sol.c.

References assert(), MAX, NULL, SCIP_Real, and sol.

Referenced by SCIPupdateSolIntegralityViolation().

◆ SCIPsolUpdateBoundViolation()

void SCIPsolUpdateBoundViolation ( SCIP_SOL * sol,
SCIP_Real absviolbounds,
SCIP_Real relviolbounds )

update bound violation of a solution

Parameters
solprimal CIP solution
absviolboundsabsolute violation of bounds
relviolboundsrelative violation of bounds

Definition at line 2561 of file sol.c.

References assert(), MAX, NULL, SCIP_Real, and sol.

Referenced by SCIPsolCheckOrig(), and SCIPupdateSolBoundViolation().

◆ SCIPsolUpdateLPRowViolation()

void SCIPsolUpdateLPRowViolation ( SCIP_SOL * sol,
SCIP_Real absviollprows,
SCIP_Real relviollprows )

update LP row violation of a solution

Parameters
solprimal CIP solution
absviollprowsabsolute violation of LP rows
relviollprowsrelative violation of LP rows

Definition at line 2574 of file sol.c.

References assert(), MAX, NULL, SCIP_Real, and sol.

Referenced by SCIPsolUpdateLPConsViolation(), and SCIPupdateSolLPRowViolation().

◆ SCIPsolUpdateConsViolation()

void SCIPsolUpdateConsViolation ( SCIP_SOL * sol,
SCIP_Real absviolcons,
SCIP_Real relviolcons )

update constraint violation of a solution

Parameters
solprimal CIP solution
absviolconsabsolute violation of constraint
relviolconsrelative violation of constraint

Definition at line 2587 of file sol.c.

References assert(), MAX, NULL, SCIP_Real, and sol.

Referenced by SCIPsolUpdateLPConsViolation(), and SCIPupdateSolConsViolation().

◆ SCIPsolUpdateLPConsViolation()

void SCIPsolUpdateLPConsViolation ( SCIP_SOL * sol,
SCIP_Real absviol,
SCIP_Real relviol )

update violation of a constraint that is represented in the LP

Parameters
solprimal CIP solution
absviolabsolute violation of constraint
relviolrelative violation of constraint

Definition at line 2600 of file sol.c.

References assert(), NULL, SCIP_Real, SCIPsolUpdateConsViolation(), SCIPsolUpdateLPRowViolation(), and sol.

Referenced by SCIPupdateSolLPConsViolation().

◆ SCIPsolOrigAddObjval()

void SCIPsolOrigAddObjval ( SCIP_SOL * sol,
SCIP_Real addval )

adds value to the objective value of a given original primal CIP solution

Parameters
solprimal CIP solution
addvaloffset value to add

Definition at line 2752 of file sol.c.

References assert(), NULL, SCIP_Real, SCIP_SOLORIGIN_ORIGINAL, and sol.

Referenced by SCIPprimalAddOrigObjoffset().

◆ SCIPsolGetPrimalIndex()

int SCIPsolGetPrimalIndex ( SCIP_SOL * sol)

gets current position of solution in array of existing solutions of primal data

Parameters
solprimal CIP solution

Definition at line 2814 of file sol.c.

References assert(), NULL, and sol.

Referenced by SCIPprimalSolCreated(), and SCIPprimalSolFreed().

◆ SCIPsolSetPrimalIndex()

void SCIPsolSetPrimalIndex ( SCIP_SOL * sol,
int primalindex )

sets current position of solution in array of existing solutions of primal data

Parameters
solprimal CIP solution
primalindexnew primal index of solution

Definition at line 2824 of file sol.c.

References assert(), NULL, and sol.

Referenced by SCIPprimalSolCreated(), and SCIPprimalSolFreed().