Scippy

SCIP

Solving Constraint Integer Programs

SCIP_Sol Struct Reference

Detailed Description

primal CIP solution

For reasons of efficiency, a working solution only stores values that have been accessed at least once, or that have been changed from the value in the solution's source. The user has to call SCIPsolUnlink() in order to retrieve all non-cached elements from the solution's source and to store the values in the solution's own array. This changes the solution's origin to SCIP_SOLORIGIN_ZERO. A linked solution with origin SCIP_SOLORIGIN_LPSOL or SCIP_SOLORIGIN_PSEUDOSOL becomes invalid after the next node is focused (i.e. the LP and pseudo solutions changed) and cannot be accessed anymore.

Solutions with origin ORIGINAL contain the values for original variables. The stored objective value also corresponds to the original problem.

Definition at line 50 of file struct_sol.h.

#include <struct_sol.h>

Data Fields

SCIP_Real obj
 
SCIP_Real time
 
SCIP_Longint nodenum
 
SCIP_REALARRAYvals
 
SCIP_BOOLARRAYvalid
 
SCIP_HEURheur
 
int runnum
 
int depth
 
int primalindex
 
int index
 
SCIP_SOLORIGIN solorigin
 
SCIP_Bool hasinfval
 

Field Documentation

SCIP_Real SCIP_Sol::time

clock time, when the solution was discovered

Definition at line 53 of file struct_sol.h.

Referenced by SCIPsolCopy(), SCIPsolGetTime(), and solStamp().

SCIP_Longint SCIP_Sol::nodenum

last node number of current run, where this solution was modified

Definition at line 54 of file struct_sol.h.

Referenced by SCIPsolCheck(), SCIPsolCopy(), SCIPsolGetNodenum(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), and solStamp().

SCIP_REALARRAY* SCIP_Sol::vals

solution values for variables

Definition at line 55 of file struct_sol.h.

Referenced by SCIPsolCopy(), SCIPsolTransform(), solGetArrayVal(), solIncArrayVal(), and solSetArrayVal().

SCIP_BOOLARRAY* SCIP_Sol::valid

is value in vals array valid? otherwise it has to be retrieved from origin

Definition at line 56 of file struct_sol.h.

Referenced by SCIPsolCopy(), SCIPsolTransform(), solClearArrays(), solGetArrayVal(), solIncArrayVal(), solSetArrayVal(), and solUnlinkVar().

SCIP_HEUR* SCIP_Sol::heur

heuristic that found the solution (or NULL if it's an LP solution)

Definition at line 58 of file struct_sol.h.

Referenced by SCIPsolCopy(), SCIPsolGetHeur(), and SCIPsolSetHeur().

int SCIP_Sol::runnum

branch and bound run number in which the solution was found

Definition at line 59 of file struct_sol.h.

Referenced by SCIPsolCopy(), SCIPsolGetRunnum(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), and solStamp().

int SCIP_Sol::depth

depth at which the solution was found

Definition at line 60 of file struct_sol.h.

Referenced by SCIPsolCopy(), SCIPsolGetDepth(), and solStamp().

int SCIP_Sol::primalindex

index of solution in array of existing solutions of primal data

Definition at line 61 of file struct_sol.h.

Referenced by SCIPsolGetPrimalIndex(), SCIPsolSetPrimalIndex(), and SCIPsolTransform().

int SCIP_Sol::index

consecutively numbered unique index of all created solutions

Definition at line 62 of file struct_sol.h.

Referenced by SCIPsolGetIndex().

SCIP_Bool SCIP_Sol::hasinfval

does the solution (potentially) contain an infinite value? Note: this could also be implemented as a counter for the number of infinite values, to avoid redundant checks when resetting inf. solution values

Definition at line 64 of file struct_sol.h.

Referenced by SCIPsolCheck(), SCIPsolCopy(), solClearArrays(), solIncArrayVal(), and solSetArrayVal().