SCIP
Solving Constraint Integer Programs
SCIP_Conflict Struct Reference
Detailed Description
conflict analysis data structure
Definition at line 136 of file struct_conflict.h.
#include <struct_conflict.h>
Field Documentation
◆ nglbchgbds
| SCIP_Longint SCIP_Conflict::nglbchgbds |
total number of applied global bound changes
Definition at line 138 of file struct_conflict.h.
Referenced by SCIPconflictGetNGlobalChgBds(), and tightenSingleVar().
◆ nappliedglbconss
| SCIP_Longint SCIP_Conflict::nappliedglbconss |
total number of conflict constraints added globally to the problem
Definition at line 139 of file struct_conflict.h.
Referenced by SCIPconflictGetNAppliedConss(), SCIPconflictGetNAppliedGlobalConss(), and updateStatistics().
◆ nappliedglbresconss
| SCIP_Longint SCIP_Conflict::nappliedglbresconss |
total number of resolution conflict constraints added globally to the problem
Definition at line 140 of file struct_conflict.h.
Referenced by SCIPconflictAddConflictCon(), and SCIPconflictGetNAppliedResConss().
◆ nappliedglbliterals
| SCIP_Longint SCIP_Conflict::nappliedglbliterals |
total number of literals in globally applied conflict constraints
Definition at line 141 of file struct_conflict.h.
Referenced by SCIPconflictGetNAppliedGlobalLiterals(), SCIPconflictGetNAppliedLiterals(), and updateStatistics().
◆ nlocchgbds
| SCIP_Longint SCIP_Conflict::nlocchgbds |
total number of applied local bound changes
Definition at line 142 of file struct_conflict.h.
Referenced by SCIPconflictGetNLocalChgBds(), and tightenSingleVar().
◆ nappliedlocconss
| SCIP_Longint SCIP_Conflict::nappliedlocconss |
total number of conflict constraints added locally to the problem
Definition at line 143 of file struct_conflict.h.
Referenced by SCIPconflictGetNAppliedConss(), SCIPconflictGetNAppliedLocalConss(), and updateStatistics().
◆ nappliedlocliterals
| SCIP_Longint SCIP_Conflict::nappliedlocliterals |
total number of literals in locally applied conflict constraints
Definition at line 144 of file struct_conflict.h.
Referenced by SCIPconflictGetNAppliedLiterals(), SCIPconflictGetNAppliedLocalLiterals(), and updateStatistics().
◆ npropcalls
| SCIP_Longint SCIP_Conflict::npropcalls |
number of calls to propagation conflict analysis
Definition at line 145 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropCalls().
◆ npropsuccess
| SCIP_Longint SCIP_Conflict::npropsuccess |
number of calls yielding at least one conflict constraint
Definition at line 146 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropSuccess().
◆ npropconfconss
| SCIP_Longint SCIP_Conflict::npropconfconss |
number of valid conflict constraints detected in propagation conflict analysis
Definition at line 147 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropConflictConss().
◆ npropconfliterals
| SCIP_Longint SCIP_Conflict::npropconfliterals |
total number of literals in valid propagation conflict constraints
Definition at line 148 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropConflictLiterals().
◆ npropreconvconss
| SCIP_Longint SCIP_Conflict::npropreconvconss |
number of reconvergence constraints detected in propagation conflict analysis
Definition at line 149 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropReconvergenceConss().
◆ npropreconvliterals
| SCIP_Longint SCIP_Conflict::npropreconvliterals |
total number of literals in valid propagation reconvergence constraints
Definition at line 150 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropReconvergenceLiterals().
◆ nrescalls
| SCIP_Longint SCIP_Conflict::nrescalls |
number of calls to resolution conflict analysis
Definition at line 151 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeResolution(), and SCIPconflictGetNResCalls().
◆ nressuccess
| SCIP_Longint SCIP_Conflict::nressuccess |
number of calls yielding at least one conflict constraint
Definition at line 152 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeResolution(), and SCIPconflictGetNResSuccess().
◆ nreslargecoefs
| SCIP_Longint SCIP_Conflict::nreslargecoefs |
number of calls terminating because of large coefficients
Definition at line 153 of file struct_conflict.h.
Referenced by rescaleAndResolve(), and SCIPconflictGetNResLargeCoefs().
◆ nreslongconfs
| SCIP_Longint SCIP_Conflict::nreslongconfs |
number of calls terminating because of long conflict rows
Definition at line 154 of file struct_conflict.h.
Referenced by conflictAnalyzeResolution(), executeResolutionStep(), getConflictRow(), SCIPconflictAddConflictCon(), and SCIPconflictGetNResLongConflicts().
◆ nresconfconss
| SCIP_Longint SCIP_Conflict::nresconfconss |
number of valid conflict constraints detected in resolution conflict analysis
Definition at line 155 of file struct_conflict.h.
Referenced by createAndAddConflictCon(), SCIPconflictAnalyzeResolution(), and SCIPconflictGetNResConflictConss().
◆ nresconfvariables
| SCIP_Longint SCIP_Conflict::nresconfvariables |
total number of variables in valid resolution conflict constraints
Definition at line 156 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeResolution(), and SCIPconflictGetNResConflictVars().
◆ ninflpcalls
| SCIP_Longint SCIP_Conflict::ninflpcalls |
number of calls to infeasible LP conflict analysis
Definition at line 157 of file struct_conflict.h.
Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPCalls().
◆ ninflpsuccess
| SCIP_Longint SCIP_Conflict::ninflpsuccess |
number of calls yielding at least one conflict constraint
Definition at line 158 of file struct_conflict.h.
Referenced by conflictAnalyzeInfeasibleLP(), SCIPconflictGetNInfeasibleLPSuccess(), and tightenSingleVar().
◆ ninflpconfconss
| SCIP_Longint SCIP_Conflict::ninflpconfconss |
number of valid conflict constraints detected in infeasible LP conflict analysis
Definition at line 159 of file struct_conflict.h.
Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPConflictConss().
◆ ninflpconfliterals
| SCIP_Longint SCIP_Conflict::ninflpconfliterals |
total number of literals in valid infeasible LP conflict constraints
Definition at line 161 of file struct_conflict.h.
Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPConflictLiterals().
◆ ninflpreconvconss
| SCIP_Longint SCIP_Conflict::ninflpreconvconss |
number of reconvergence constraints detected in infeasible LP conflict analysis
Definition at line 162 of file struct_conflict.h.
Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPReconvergenceConss().
◆ ninflpreconvliterals
| SCIP_Longint SCIP_Conflict::ninflpreconvliterals |
total number of literals in valid infeasible LP reconvergence constraints
Definition at line 164 of file struct_conflict.h.
Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPReconvergenceLiterals().
◆ ninflpiterations
| SCIP_Longint SCIP_Conflict::ninflpiterations |
total number of LP iterations used in infeasible LP conflict analysis
Definition at line 166 of file struct_conflict.h.
Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPIterations().
◆ nboundlpcalls
| SCIP_Longint SCIP_Conflict::nboundlpcalls |
number of calls to bound exceeding LP conflict analysis
Definition at line 167 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPCalls().
◆ nboundlpsuccess
| SCIP_Longint SCIP_Conflict::nboundlpsuccess |
number of calls yielding at least one conflict constraint
Definition at line 168 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), SCIPconflictGetNBoundexceedingLPSuccess(), and tightenSingleVar().
◆ nboundlpconfconss
| SCIP_Longint SCIP_Conflict::nboundlpconfconss |
number of valid conflict constraints detected in bound exceeding LP conflict analysis
Definition at line 169 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPConflictConss().
◆ nboundlpconfliterals
| SCIP_Longint SCIP_Conflict::nboundlpconfliterals |
total number of literals in valid bound exceeding LP conflict constraints
Definition at line 171 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPConflictLiterals().
◆ nboundlpreconvconss
| SCIP_Longint SCIP_Conflict::nboundlpreconvconss |
number of reconvergence constraints detected in bound exceeding LP conflict analysis
Definition at line 173 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPReconvergenceConss().
◆ nboundlpreconvliterals
| SCIP_Longint SCIP_Conflict::nboundlpreconvliterals |
total number of literals in valid bound exceeding LP reconvergence constraints
Definition at line 175 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPReconvergenceLiterals().
◆ nboundlpiterations
| SCIP_Longint SCIP_Conflict::nboundlpiterations |
total number of LP iterations used in bound exceeding LP conflict analysis
Definition at line 177 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPIterations().
◆ nsbcalls
| SCIP_Longint SCIP_Conflict::nsbcalls |
number of calls to infeasible strong branching conflict analysis
Definition at line 179 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchCalls().
◆ nsbsuccess
| SCIP_Longint SCIP_Conflict::nsbsuccess |
number of calls yielding at least one conflict constraint
Definition at line 180 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchSuccess().
◆ nsbconfconss
| SCIP_Longint SCIP_Conflict::nsbconfconss |
number of conflict constraints detected in strong branching conflict analysis
Definition at line 181 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchConflictConss().
◆ nsbconfliterals
| SCIP_Longint SCIP_Conflict::nsbconfliterals |
total number of literals in valid strong branching conflict constraints
Definition at line 182 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchConflictLiterals().
◆ nsbreconvconss
| SCIP_Longint SCIP_Conflict::nsbreconvconss |
number of reconvergence constraints detected in strong branch conflict analysis
Definition at line 183 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchReconvergenceConss().
◆ nsbreconvliterals
| SCIP_Longint SCIP_Conflict::nsbreconvliterals |
total number of literals in valid strong branching reconvergence constraints
Definition at line 184 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchReconvergenceLiterals().
◆ nsbiterations
| SCIP_Longint SCIP_Conflict::nsbiterations |
total number of LP iterations used in strong branching conflict analysis
Definition at line 185 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchIterations().
◆ npseudocalls
| SCIP_Longint SCIP_Conflict::npseudocalls |
number of calls to pseudo solution conflict analysis
Definition at line 186 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoCalls().
◆ npseudosuccess
| SCIP_Longint SCIP_Conflict::npseudosuccess |
number of calls yielding at least one conflict constraint
Definition at line 187 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoSuccess().
◆ npseudoconfconss
| SCIP_Longint SCIP_Conflict::npseudoconfconss |
number of valid conflict constraints detected in pseudo sol conflict analysis
Definition at line 188 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoConflictConss().
◆ npseudoconfliterals
| SCIP_Longint SCIP_Conflict::npseudoconfliterals |
total number of literals in valid pseudo solution conflict constraints
Definition at line 189 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoConflictLiterals().
◆ npseudoreconvconss
| SCIP_Longint SCIP_Conflict::npseudoreconvconss |
number of reconvergence constraints detected in pseudo sol conflict analysis
Definition at line 190 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoReconvergenceConss().
◆ npseudoreconvliterals
| SCIP_Longint SCIP_Conflict::npseudoreconvliterals |
total number of literals in valid pseudo solution reconvergence constraints
Definition at line 191 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoReconvergenceLiterals().
◆ ndualproofsinfglobal
| SCIP_Longint SCIP_Conflict::ndualproofsinfglobal |
number of globally added dual proof constraints derived from infeasible LP
Definition at line 192 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualproofsInfGlobal(), and tightenSingleVar().
◆ ndualproofsinflocal
| SCIP_Longint SCIP_Conflict::ndualproofsinflocal |
number of locally added dual proof constraints derived from infeasible LP
Definition at line 193 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualproofsInfLocal(), and tightenSingleVar().
◆ ndualproofsinfsuccess
| SCIP_Longint SCIP_Conflict::ndualproofsinfsuccess |
number of successfully dual proof analysis calls for infeasible LPs
Definition at line 194 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), createAndAddProofcons(), SCIPconflictAnalyzeDualProof(), SCIPconflictGetNDualproofsInfSuccess(), and tightenSingleVar().
◆ dualproofsinfnnonzeros
| SCIP_Longint SCIP_Conflict::dualproofsinfnnonzeros |
number of non-zeros over all accepted dual proof constraints derived from infeasible LP
Definition at line 195 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualproofsInfNonzeros(), and tightenSingleVar().
◆ ndualproofsbndglobal
| SCIP_Longint SCIP_Conflict::ndualproofsbndglobal |
number of globally added dual proof constraints derived from bound exceeding LP
Definition at line 196 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualproofsBndGlobal(), and tightenSingleVar().
◆ ndualproofsbndlocal
| SCIP_Longint SCIP_Conflict::ndualproofsbndlocal |
number of locally added dual proof constraints derived from bound exceeding LP
Definition at line 197 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualproofsBndLocal(), and tightenSingleVar().
◆ ndualproofsbndsuccess
| SCIP_Longint SCIP_Conflict::ndualproofsbndsuccess |
number of successfully dual proof analysis calls for bound exceeding LPs
Definition at line 198 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), createAndAddProofcons(), SCIPconflictGetNDualproofsBndSuccess(), and tightenSingleVar().
◆ dualproofsbndnnonzeros
| SCIP_Longint SCIP_Conflict::dualproofsbndnnonzeros |
number of non-zeros over all accepted dual proof constraints derived from bound exceeding LPs
Definition at line 199 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualproofsBndNonzeros(), and tightenSingleVar().
◆ dIBclock
| SCIP_CLOCK* SCIP_Conflict::dIBclock |
time used for detect implied bounds
Definition at line 201 of file struct_conflict.h.
Referenced by conflictAddConflictCons(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetGlobalApplTime().
◆ propanalyzetime
| SCIP_CLOCK* SCIP_Conflict::propanalyzetime |
time used for propagation conflict analysis
Definition at line 203 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetPropTime().
◆ resanalyzetime
| SCIP_CLOCK* SCIP_Conflict::resanalyzetime |
time used for resolution conflict analysis
Definition at line 204 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeResolution(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetResTime().
◆ inflpanalyzetime
| SCIP_CLOCK* SCIP_Conflict::inflpanalyzetime |
time used for infeasible LP conflict analysis
Definition at line 205 of file struct_conflict.h.
Referenced by conflictAnalyzeInfeasibleLP(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetInfeasibleLPTime().
◆ boundlpanalyzetime
| SCIP_CLOCK* SCIP_Conflict::boundlpanalyzetime |
time used for bound exceeding LP conflict analysis
Definition at line 206 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetBoundexceedingLPTime().
◆ sbanalyzetime
| SCIP_CLOCK* SCIP_Conflict::sbanalyzetime |
time used for strong branching LP conflict analysis
Definition at line 207 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzeStrongbranch(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetStrongbranchTime().
◆ pseudoanalyzetime
| SCIP_CLOCK* SCIP_Conflict::pseudoanalyzetime |
time used for pseudo solution conflict analysis
Definition at line 208 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetPseudoTime().
◆ bdchgqueue
| SCIP_PQUEUE* SCIP_Conflict::bdchgqueue |
unprocessed conflict bound changes
Definition at line 209 of file struct_conflict.h.
Referenced by conflictAddConflictset(), conflictAnalyze(), conflictClear(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), SCIPconflictAnalyze(), and SCIPconflictClearQueues().
◆ forcedbdchgqueue
| SCIP_PQUEUE* SCIP_Conflict::forcedbdchgqueue |
unprocessed conflict bound changes that must be resolved
Definition at line 210 of file struct_conflict.h.
Referenced by conflictAddConflictset(), conflictAnalyze(), conflictClear(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), SCIPconflictAnalyze(), and SCIPconflictClearQueues().
◆ resbdchgqueue
| SCIP_PQUEUE* SCIP_Conflict::resbdchgqueue |
unprocessed conflict bound changes used in generalized resolution
Definition at line 211 of file struct_conflict.h.
Referenced by conflictClearResolution(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), existsResolvablebdchginfo(), and SCIPconflictAnalyzeResolution().
◆ continuousbdchgqueue
| SCIP_PQUEUE* SCIP_Conflict::continuousbdchgqueue |
unprocessed bound changes that are continuous
Definition at line 212 of file struct_conflict.h.
Referenced by executeResolutionStep(), SCIPconflictAnalyzeResolution(), and slackReducingContinuousBdchgQueue().
◆ proofset
| SCIP_PROOFSET* SCIP_Conflict::proofset |
proof sets found at the current node
Definition at line 213 of file struct_conflict.h.
Referenced by conflictAnalyzeLP(), SCIPconflictFlushProofset(), SCIPconflictInitProofset(), and tightenDualproof().
◆ proofsets
| SCIP_PROOFSET** SCIP_Conflict::proofsets |
proof sets found at the current node
Definition at line 214 of file struct_conflict.h.
Referenced by conflictEnsureProofsetsMem(), conflictInsertProofset(), and SCIPconflictFlushProofset().
◆ conflictrow
| SCIP_CONFLICTROW* SCIP_Conflict::conflictrow |
conflict row for the current conflict
Definition at line 215 of file struct_conflict.h.
Referenced by conflictAnalyzeResolution(), executeResolutionStep(), getConflictRow(), isBdchgConflictRelevant(), markBdchgAsFixed(), SCIPconflictInit(), and SCIPconflictInitRows().
◆ resolvedconflictrow
| SCIP_CONFLICTROW* SCIP_Conflict::resolvedconflictrow |
conflict row for for current the conflict
Definition at line 216 of file struct_conflict.h.
Referenced by conflictAnalyzeResolution(), executeResolutionStep(), and SCIPconflictInitRows().
◆ reasonrow
| SCIP_CONFLICTROW* SCIP_Conflict::reasonrow |
reason row for the latest bound change
Definition at line 217 of file struct_conflict.h.
Referenced by conflictAnalyzeResolution(), executeResolutionStep(), and SCIPconflictInitRows().
◆ reducedreasonrow
| SCIP_CONFLICTROW* SCIP_Conflict::reducedreasonrow |
reason row for the latest bound change
Definition at line 218 of file struct_conflict.h.
Referenced by conflictAnalyzeResolution(), executeResolutionStep(), and SCIPconflictInitRows().
◆ conflictrows
| SCIP_CONFLICTROW** SCIP_Conflict::conflictrows |
conflict rows found at the current node
Definition at line 219 of file struct_conflict.h.
Referenced by addConflictRows(), conflictEnsureConflictRowsMem(), conflictInsertConflictRow(), freeConflictResources(), and SCIPconflictAnalyzeResolution().
◆ conflictset
| SCIP_CONFLICTSET* SCIP_Conflict::conflictset |
bound changes resembling the current conflict set
Definition at line 220 of file struct_conflict.h.
Referenced by conflictAddConflictBound(), conflictAddConflictset(), conflictAnalyze(), conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), conflictAnalyzeLP(), conflictClear(), conflictCreateReconvergenceConss(), conflictResolveBound(), SCIPconflictAnalyze(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictInit(), SCIPrunBoundHeuristic(), and tightenDualproof().
◆ conflictsets
| SCIP_CONFLICTSET** SCIP_Conflict::conflictsets |
conflict sets found at the current node
Definition at line 221 of file struct_conflict.h.
Referenced by conflictEnsureConflictsetsMem(), conflictInsertConflictset(), and SCIPconflictFlushConss().
◆ conflictsetscores
| SCIP_Real* SCIP_Conflict::conflictsetscores |
score values of the conflict sets found at the current node
Definition at line 222 of file struct_conflict.h.
Referenced by conflictEnsureConflictsetsMem(), and conflictInsertConflictset().
◆ conflictvarslbs
| SCIP_Real* SCIP_Conflict::conflictvarslbs |
maximal lower bounds of variables in the current resolution conflict
Definition at line 223 of file struct_conflict.h.
Referenced by betterBoundInResolutionQueue(), conflictAnalyzeResolution(), conflictClearResolution(), conflictFirstCand(), and markBdchgAsFixed().
◆ conflictvarsubs
| SCIP_Real* SCIP_Conflict::conflictvarsubs |
minimal upper bounds of variables in the current resolution conflict
Definition at line 224 of file struct_conflict.h.
Referenced by betterBoundInResolutionQueue(), conflictAnalyzeResolution(), conflictClearResolution(), conflictFirstCand(), and markBdchgAsFixed().
◆ tmpbdchginfos
| SCIP_BDCHGINFO** SCIP_Conflict::tmpbdchginfos |
temporarily created bound change information data
Definition at line 225 of file struct_conflict.h.
Referenced by conflictCreateTmpBdchginfo(), conflictEnsureTmpbdchginfosMem(), and conflictFreeTmpBdchginfos().
◆ conflictprobnvars
| int SCIP_Conflict::conflictprobnvars |
number of variables in the current problem where conflict analysis is used
Definition at line 226 of file struct_conflict.h.
Referenced by conflictClearResolution().
◆ conflictsetssize
| int SCIP_Conflict::conflictsetssize |
size of conflictsets array
Definition at line 227 of file struct_conflict.h.
Referenced by conflictEnsureConflictsetsMem().
◆ nconflictsets
| int SCIP_Conflict::nconflictsets |
number of available conflict sets (used slots in conflictsets array)
Definition at line 228 of file struct_conflict.h.
Referenced by conflictAnalyzeLP(), conflictInsertConflictset(), SCIPconflictAnalyzePseudo(), SCIPconflictFlushConss(), and SCIPconflictGetNConflicts().
◆ proofsetssize
| int SCIP_Conflict::proofsetssize |
size of proofsets array
Definition at line 229 of file struct_conflict.h.
Referenced by conflictEnsureProofsetsMem().
◆ nproofsets
| int SCIP_Conflict::nproofsets |
number of available proof sets (used slots in proofsets array)
Definition at line 230 of file struct_conflict.h.
Referenced by conflictAnalyzeLP(), conflictInsertProofset(), and SCIPconflictFlushProofset().
◆ tmpbdchginfossize
| int SCIP_Conflict::tmpbdchginfossize |
size of tmpbdchginfos array
Definition at line 231 of file struct_conflict.h.
Referenced by conflictEnsureTmpbdchginfosMem().
◆ ntmpbdchginfos
| int SCIP_Conflict::ntmpbdchginfos |
number of temporary created bound change information data
Definition at line 232 of file struct_conflict.h.
Referenced by conflictCreateTmpBdchginfo(), and conflictFreeTmpBdchginfos().
◆ count
| int SCIP_Conflict::count |
conflict set counter to label binary conflict variables with
Definition at line 233 of file struct_conflict.h.
Referenced by bdchginfoIsInvalid(), conflictMarkBoundCheckPresence(), SCIPconflictGetVarLb(), SCIPconflictGetVarUb(), SCIPconflictInit(), and SCIPconflictIsVarUsed().
◆ nconflictrows
| int SCIP_Conflict::nconflictrows |
number of available resolution sets
Definition at line 234 of file struct_conflict.h.
Referenced by conflictAnalyzeResolution(), conflictInsertConflictRow(), freeConflictResources(), and SCIPconflictAnalyzeResolution().
◆ conflictrowssize
| int SCIP_Conflict::conflictrowssize |
size of conflictrows array
Definition at line 235 of file struct_conflict.h.
Referenced by conflictEnsureConflictRowsMem().
◆ bdchgonlyconfqueue
| SCIP_Bool SCIP_Conflict::bdchgonlyconfqueue |
if true we add bound changes only in graph conflict queues
Definition at line 236 of file struct_conflict.h.
Referenced by conflictAnalyzeLP(), conflictQueueBound(), SCIPconflictAnalyze(), and SCIPconflictAnalyzePseudo().
◆ bdchgonlyresqueue
| SCIP_Bool SCIP_Conflict::bdchgonlyresqueue |
if true we add bound changes only in generalized resolution queues
Definition at line 237 of file struct_conflict.h.
Referenced by conflictQueueBound(), and SCIPconflictAnalyzeResolution().