Scippy

SCIP

Solving Constraint Integer Programs

Public Member Functions | Data Fields
SCIP_Prob Struct Reference

Detailed Description

main problem to solve

Definition at line 38 of file struct_prob.h.

#include <struct_prob.h>

Public Member Functions

 SCIP_DECL_PROBCOPY ((*probcopy))
 
 SCIP_DECL_PROBDELORIG ((*probdelorig))
 
 SCIP_DECL_PROBTRANS ((*probtrans))
 
 SCIP_DECL_PROBDELTRANS ((*probdeltrans))
 
 SCIP_DECL_PROBINITSOL ((*probinitsol))
 
 SCIP_DECL_PROBEXITSOL ((*probexitsol))
 

Data Fields

SCIP_Real objoffset
 
SCIP_Real objscale
 
SCIP_Real objlim
 
SCIP_Real dualbound
 
char * name
 
SCIP_PROBDATA * probdata
 
SCIP_HASHTABLE * varnames
 
SCIP_VAR ** vars
 
SCIP_VAR ** fixedvars
 
SCIP_VAR ** deletedvars
 
SCIP_HASHTABLE * consnames
 
SCIP_CONS ** conss
 
int varssize
 
int nvars
 
int nbinvars
 
int nintvars
 
int nimplvars
 
int ncontvars
 
int ncolvars
 
int fixedvarssize
 
int nfixedvars
 
int deletedvarssize
 
int ndeletedvars
 
int nobjvars
 
int consssize
 
int nconss
 
int maxnconss
 
int startnvars
 
int startnconss
 
SCIP_OBJSENSE objsense
 
SCIP_Bool objisintegral
 
SCIP_Bool transformed
 
SCIP_Bool nlpenabled
 
SCIP_Bool permuted
 

Member Function Documentation

SCIP_Prob::SCIP_DECL_PROBCOPY ( *  probcopy)

copies user data if you want to copy it to a subscip, or NULL

SCIP_Prob::SCIP_DECL_PROBDELORIG ( *  probdelorig)

frees user data of original problem

SCIP_Prob::SCIP_DECL_PROBTRANS ( *  probtrans)

creates user data of transformed problem by transforming original user data

SCIP_Prob::SCIP_DECL_PROBDELTRANS ( *  probdeltrans)

frees user data of transformed problem

SCIP_Prob::SCIP_DECL_PROBINITSOL ( *  probinitsol)

solving process initialization method of transformed data

SCIP_Prob::SCIP_DECL_PROBEXITSOL ( *  probexitsol)

solving process deinitialization method of transformed data

Field Documentation

SCIP_Real SCIP_Prob::objoffset

objective offset from bound shifting and fixing (fixed vars result)

Definition at line 40 of file struct_prob.h.

Referenced by SCIPaddOrigObjoffset(), SCIPgetOrigObjoffset(), SCIPgetTransObjoffset(), SCIPprobAddObjoffset(), SCIPprobCheckObjIntegral(), SCIPprobExternObjval(), SCIPprobGetObjoffset(), SCIPprobInternObjval(), SCIPprobScaleObj(), SCIPreaderWrite(), SCIPsolCreateOriginal(), and SCIPwriteMIP().

SCIP_Real SCIP_Prob::objscale

scalar applied to objective function; external objective value is extobj = objsense * objscale * (intobj + objoffset)

Definition at line 41 of file struct_prob.h.

Referenced by SCIPgetOrigObjscale(), SCIPgetTransObjscale(), SCIPpresolve(), SCIPprobExternObjval(), SCIPprobGetObjscale(), SCIPprobInternObjval(), SCIPprobScaleObj(), SCIPreaderWrite(), and SCIPwriteMIP().

SCIP_Real SCIP_Prob::objlim

objective limit as external value (original problem space)

Definition at line 43 of file struct_prob.h.

Referenced by SCIPprobGetObjlim(), SCIPprobSetObjlim(), and SCIPprobTransform().

SCIP_Real SCIP_Prob::dualbound

dual bound as external value (original problem space) which is given or update during presolving

Definition at line 44 of file struct_prob.h.

Referenced by exitPresolve(), getDualbound(), initSolve(), SCIPprobSetDualbound(), SCIPprobTransform(), and SCIPprobUpdateDualbound().

char* SCIP_Prob::name

problem name

Definition at line 45 of file struct_prob.h.

Referenced by SCIPprobGetName(), SCIPprobPrintStatistics(), SCIPprobSetName(), SCIPprobTransform(), and SCIPreaderWrite().

SCIP_PROBDATA* SCIP_Prob::probdata

user problem data set by the reader

Definition at line 52 of file struct_prob.h.

Referenced by SCIPprobCopy(), SCIPprobExitSolve(), SCIPprobGetData(), SCIPprobInitSolve(), SCIPprobSetData(), SCIPprobTransform(), and SCIPreaderWrite().

SCIP_HASHTABLE* SCIP_Prob::varnames

hash table storing variable's names

Definition at line 53 of file struct_prob.h.

Referenced by SCIPprobAddVarName(), SCIPprobFindVar(), and SCIPprobRemoveVarName().

SCIP_VAR** SCIP_Prob::vars

array with active variables ordered binary, integer, implicit, continuous

Definition at line 54 of file struct_prob.h.

Referenced by checkSolOrig(), cleanupMIRRow(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), focusnodeCleanupVars(), freeTransform(), getMIRRowActivity(), initLP(), initSolve(), probEnsureVarsMem(), probInsertVar(), probRemoveVar(), recomputeGlbPseudoObjectiveValue(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), roundMIRRow(), roundStrongCGRow(), SCIPbranchcandGetPseudoCands(), SCIPcheckReoptRestart(), SCIPconflictAnalyzePseudo(), SCIPconflictInit(), SCIPendDive(), SCIPgetOrigVars(), SCIPgetOrigVarsData(), SCIPgetReoptSimilarity(), SCIPgetSolVarsData(), SCIPgetVars(), SCIPgetVarsData(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPpricestoreAddProbVars(), SCIPprimalTransformSol(), SCIPprintBranchingStatistics(), SCIPprobCheckObjIntegral(), SCIPprobExitSolve(), SCIPprobGetNImplBinVars(), SCIPprobGetNObjVars(), SCIPprobGetVars(), SCIPprobInitSolve(), SCIPprobPrintPseudoSol(), SCIPprobResetBounds(), SCIPprobResortVars(), SCIPprobScaleObj(), SCIPprobStoreRootSol(), SCIPprobTransform(), SCIPprobUpdateBestRootSol(), SCIPreaderWrite(), SCIPsolCheck(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRecomputeObj(), SCIPsolRetransform(), SCIPsolRound(), SCIPsolsAreEqual(), SCIPsolUnlink(), SCIPsolUpdateVarsum(), SCIPsolve(), SCIPtransformProb(), substituteMIRRow(), transformMIRRow(), transformStrongCGRow(), undoBdchgsDualfarkas(), undoBdchgsDualsol(), undoBdchgsProof(), and updatePrimalRay().

SCIP_VAR** SCIP_Prob::fixedvars

array with fixed and aggregated variables

Definition at line 55 of file struct_prob.h.

Referenced by probEnsureFixedvarsMem(), SCIPgetFixedVars(), SCIPprobVarChangedStatus(), SCIPreaderWrite(), SCIPsolPrint(), and SCIPsolPrintRay().

SCIP_VAR** SCIP_Prob::deletedvars

array to temporarily store deleted variables

Definition at line 56 of file struct_prob.h.

Referenced by probEnsureDeletedvarsMem(), SCIPprobDelVar(), and SCIPprobPerformVarDeletions().

SCIP_HASHTABLE* SCIP_Prob::consnames

hash table storing constraints' names

Definition at line 57 of file struct_prob.h.

Referenced by SCIPprobAddConsName(), SCIPprobFindCons(), and SCIPprobRemoveConsName().

SCIP_CONS** SCIP_Prob::conss

array with constraints of the problem

Definition at line 58 of file struct_prob.h.

Referenced by checkSolOrig(), printDualSol(), probEnsureConssMem(), SCIPgetConss(), SCIPgetOrigConss(), SCIPpermuteProb(), SCIPprintDualSol(), SCIPprobAddCons(), SCIPprobDelCons(), SCIPprobInitSolve(), SCIPprobTransform(), SCIPreaderWrite(), and SCIPreadProb().

int SCIP_Prob::varssize

available slots in vars array

Definition at line 59 of file struct_prob.h.

Referenced by probEnsureVarsMem(), and probInsertVar().

int SCIP_Prob::nvars

number of active variables in the problem (used slots in vars array)

Definition at line 60 of file struct_prob.h.

Referenced by checkSolOrig(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), conflictCalcMaxsize(), focusnodeCleanupVars(), freeTransform(), initLP(), initPresolve(), initSolve(), probInsertVar(), probRemoveVar(), recomputeGlbPseudoObjectiveValue(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), roundStrongCGRow(), SCIPcheckReoptRestart(), SCIPconflictAnalyzePseudo(), SCIPconflictInit(), SCIPendDive(), SCIPgetAvgConflictScore(), SCIPgetAvgConflictScoreCurrentRun(), SCIPgetNOrigVars(), SCIPgetNVars(), SCIPgetOrigVarsData(), SCIPgetReoptSimilarity(), SCIPgetSolVarsData(), SCIPgetVarsData(), SCIPisPresolveFinished(), SCIPlpCalcMIR(), SCIPlpCalcStrongCG(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpSolveAndEval(), SCIPlpSumRows(), SCIPpresolve(), SCIPpricerFarkas(), SCIPpricerRedcost(), SCIPpricestoreAddProbVars(), SCIPprimalTransformSol(), SCIPprintBranchingStatistics(), SCIPprintDualSol(), SCIPprobAddVar(), SCIPprobAllColsInLP(), SCIPprobCheckObjIntegral(), SCIPprobDelVar(), SCIPprobExitSolve(), SCIPprobGetNObjVars(), SCIPprobGetNVars(), SCIPprobInitSolve(), SCIPprobMarkNConss(), SCIPprobPrintPseudoSol(), SCIPprobPrintStatistics(), SCIPprobResetBounds(), SCIPprobResortVars(), SCIPprobScaleObj(), SCIPprobStoreRootSol(), SCIPprobTransform(), SCIPprobUpdateBestRootSol(), SCIPprobVarChangedStatus(), SCIPreaderWrite(), SCIPreadProb(), SCIPsolCheck(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRecomputeObj(), SCIPsolRetransform(), SCIPsolsAreEqual(), SCIPsolUnlink(), SCIPsolUpdateVarsum(), SCIPsolve(), SCIPsolveCIP(), SCIPtransformProb(), solveNode(), substituteMIRRow(), sumMIRRow(), sumStrongCGRow(), transformMIRRow(), transformSols(), transformStrongCGRow(), undoBdchgsDualfarkas(), undoBdchgsDualsol(), undoBdchgsProof(), and updatePrimalRay().

int SCIP_Prob::nbinvars

number of binary variables

Definition at line 61 of file struct_prob.h.

Referenced by probInsertVar(), probRemoveVar(), SCIPbranchcandGetPseudoCands(), SCIPgetAvgPseudocostCount(), SCIPgetAvgPseudocostCountCurrentRun(), SCIPgetNBinVars(), SCIPgetNOrigBinVars(), SCIPgetOrigVarsData(), SCIPgetSolVarsData(), SCIPgetVarsData(), SCIPisPresolveFinished(), SCIPpresolve(), SCIPprobAddVar(), SCIPprobDelVar(), SCIPprobGetNBinVars(), SCIPprobGetNImplBinVars(), SCIPprobPrintStatistics(), SCIPprobResortVars(), SCIPreaderWrite(), SCIPreadProb(), SCIPsolRound(), and SCIPtransformProb().

int SCIP_Prob::nintvars

number of general integer variables

Definition at line 62 of file struct_prob.h.

Referenced by probInsertVar(), probRemoveVar(), SCIPbranchcandGetPseudoCands(), SCIPgetAvgPseudocostCount(), SCIPgetAvgPseudocostCountCurrentRun(), SCIPgetNIntVars(), SCIPgetNOrigIntVars(), SCIPgetOrigVarsData(), SCIPgetSolVarsData(), SCIPgetVarsData(), SCIPpresolve(), SCIPprobAddVar(), SCIPprobDelVar(), SCIPprobGetNImplBinVars(), SCIPprobGetNIntVars(), SCIPprobPrintStatistics(), SCIPprobResortVars(), SCIPreaderWrite(), SCIPreadProb(), SCIPsolRound(), SCIPsolve(), and SCIPtransformProb().

int SCIP_Prob::nimplvars

number of implicit integer variables

Definition at line 63 of file struct_prob.h.

Referenced by probInsertVar(), probRemoveVar(), SCIPbranchcandGetPseudoCands(), SCIPgetNImplVars(), SCIPgetNOrigImplVars(), SCIPgetOrigVarsData(), SCIPgetSolVarsData(), SCIPgetVarsData(), SCIPpresolve(), SCIPprobAddVar(), SCIPprobDelVar(), SCIPprobGetNImplBinVars(), SCIPprobGetNImplVars(), SCIPprobPrintStatistics(), SCIPprobResortVars(), SCIPreaderWrite(), SCIPreadProb(), and SCIPtransformProb().

int SCIP_Prob::ncontvars

number of continuous variables

Definition at line 64 of file struct_prob.h.

Referenced by conflictCalcMaxsize(), probInsertVar(), probRemoveVar(), propAndSolve(), roundStrongCGRow(), SCIPgetNContVars(), SCIPgetNOrigContVars(), SCIPgetOrigVarsData(), SCIPgetSolVarsData(), SCIPgetVarsData(), SCIPpresolve(), SCIPprintDualSol(), SCIPprobAddVar(), SCIPprobDelVar(), SCIPprobGetNContVars(), SCIPprobPrintStatistics(), SCIPprobResortVars(), SCIPprobScaleObj(), SCIPreaderWrite(), SCIPreadProb(), SCIPsolveCIP(), SCIPtransformProb(), and solveNode().

int SCIP_Prob::ncolvars

number of variables with attached column information

Definition at line 65 of file struct_prob.h.

Referenced by priceAndCutLoop(), probInsertVar(), probRemoveVar(), SCIPpriceLoop(), SCIPpricestoreAddProbVars(), SCIPprobAllColsInLP(), SCIPprobExitSolve(), and SCIPprobVarChangedStatus().

int SCIP_Prob::fixedvarssize

available slots in fixedvars array

Definition at line 66 of file struct_prob.h.

Referenced by probEnsureFixedvarsMem().

int SCIP_Prob::nfixedvars

number of fixed and aggregated variables in the problem

Definition at line 67 of file struct_prob.h.

Referenced by SCIPgetNFixedVars(), SCIPprobResetBounds(), SCIPprobVarChangedStatus(), SCIPreaderWrite(), SCIPsolPrint(), and SCIPsolPrintRay().

int SCIP_Prob::deletedvarssize

available slots in deletedvars array

Definition at line 68 of file struct_prob.h.

Referenced by probEnsureDeletedvarsMem().

int SCIP_Prob::ndeletedvars

number of deleted variables in the problem

Definition at line 69 of file struct_prob.h.

Referenced by SCIPprobDelVar(), and SCIPprobPerformVarDeletions().

int SCIP_Prob::nobjvars

number of variables with a non-zero objective coefficient

Definition at line 70 of file struct_prob.h.

Referenced by SCIPprobGetNObjVars(), SCIPprobInitSolve(), and SCIPprobUpdateNObjVars().

int SCIP_Prob::consssize

available slots in conss array

Definition at line 71 of file struct_prob.h.

Referenced by probEnsureConssMem().

int SCIP_Prob::nconss

number of constraints in the problem (number of used slots in conss array)

Definition at line 72 of file struct_prob.h.

Referenced by checkSolOrig(), printDualSol(), SCIPgetNConss(), SCIPgetNOrigConss(), SCIPisPresolveFinished(), SCIPpermuteProb(), SCIPpresolve(), SCIPprintDualSol(), SCIPprobAddCons(), SCIPprobDelCons(), SCIPprobInitSolve(), SCIPprobMarkNConss(), SCIPreaderWrite(), SCIPreadProb(), and SCIPtransformProb().

int SCIP_Prob::maxnconss

maximum number of constraints existing at the same time

Definition at line 73 of file struct_prob.h.

Referenced by SCIPprobAddCons(), SCIPprobMarkNConss(), SCIPprobPrintStatistics(), and SCIPreaderWrite().

int SCIP_Prob::startnvars

number of variables existing when problem solving started

Definition at line 74 of file struct_prob.h.

Referenced by SCIPprobMarkNConss(), and SCIPreaderWrite().

int SCIP_Prob::startnconss

number of constraints existing when problem solving started

Definition at line 75 of file struct_prob.h.

Referenced by SCIPprobMarkNConss(), SCIPprobPrintStatistics(), and SCIPreaderWrite().

SCIP_OBJSENSE SCIP_Prob::objsense

objective sense of the original problem

Definition at line 76 of file struct_prob.h.

Referenced by SCIPgetObjsense(), SCIPprobExternObjval(), SCIPprobGetObjlim(), SCIPprobInternObjval(), SCIPprobPrintStatistics(), SCIPprobSetObjsense(), SCIPprobTransform(), SCIPprobUpdateDualbound(), SCIPreaderWrite(), SCIPtransformVar(), SCIPtransformVars(), and SCIPwriteMIP().

SCIP_Bool SCIP_Prob::objisintegral

is objective value always integral for feasible solutions?

Definition at line 77 of file struct_prob.h.

Referenced by SCIPprobCheckObjIntegral(), SCIPprobIsObjIntegral(), SCIPprobScaleObj(), SCIPprobSetObjIntegral(), and SCIPprobTransform().

SCIP_Bool SCIP_Prob::transformed

TRUE iff problem is the transformed problem

Definition at line 78 of file struct_prob.h.

Referenced by probInsertVar(), SCIPprobAddCons(), SCIPprobAddObjoffset(), SCIPprobAddVar(), SCIPprobDelCons(), SCIPprobDelVar(), SCIPprobExitSolve(), SCIPprobExternObjval(), SCIPprobGetNObjVars(), SCIPprobInitSolve(), SCIPprobInternObjval(), SCIPprobIsTransformed(), SCIPprobPerformVarDeletions(), SCIPprobPrintStatistics(), SCIPprobResetBounds(), SCIPprobStoreRootSol(), SCIPprobUpdateBestRootSol(), SCIPprobUpdateNObjVars(), SCIPreaderWrite(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRetransform(), and SCIPsolRound().

SCIP_Bool SCIP_Prob::nlpenabled

marks whether an NLP relaxation should be constructed

Definition at line 79 of file struct_prob.h.

Referenced by freeSolve(), initSolve(), SCIPenableNLP(), SCIPisNLPEnabled(), and SCIPprobTransform().

SCIP_Bool SCIP_Prob::permuted

TRUE iff the problem is already permuted

Definition at line 80 of file struct_prob.h.

Referenced by SCIPprobIsPermuted(), SCIPprobMarkPermuted(), and SCIPprobTransform().