SCIP
Solving Constraint Integer Programs
SCIP_Conflict Struct Reference
Detailed Description
conflict analysis data structure
Definition at line 102 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 104 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 105 of file struct_conflict.h.
Referenced by SCIPconflictGetNAppliedConss(), SCIPconflictGetNAppliedGlobalConss(), and updateStatistics().
◆ nappliedglbliterals
| SCIP_Longint SCIP_Conflict::nappliedglbliterals |
total number of literals in globally applied conflict constraints
Definition at line 106 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 107 of file struct_conflict.h.
Referenced by SCIPconflictGetNLocalChgBds().
◆ nappliedlocconss
| SCIP_Longint SCIP_Conflict::nappliedlocconss |
total number of conflict constraints added locally to the problem
Definition at line 108 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 109 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 110 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 111 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 112 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 113 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 114 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 115 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropReconvergenceLiterals().
◆ ninflpcalls
| SCIP_Longint SCIP_Conflict::ninflpcalls |
number of calls to infeasible LP conflict analysis
Definition at line 116 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 117 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 118 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 120 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 121 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 123 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 125 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 126 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 127 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 128 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 130 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 132 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 134 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 136 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 138 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 139 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 140 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 141 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 142 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 143 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 144 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 145 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 146 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 147 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 148 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 149 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 150 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoReconvergenceLiterals().
◆ ndualrayinfglobal
| SCIP_Longint SCIP_Conflict::ndualrayinfglobal |
number of dual ray constraints added globally
Definition at line 151 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualrayInfGlobal(), and tightenSingleVar().
◆ ndualrayinfsuccess
| SCIP_Longint SCIP_Conflict::ndualrayinfsuccess |
number of successfully dual ray analysis calls for infeasible LPs
Definition at line 152 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), conflictAnalyzeDualProof(), conflictAnalyzeInfeasibleLP(), createAndAddProofcons(), SCIPconflictGetNDualrayInfSuccess(), and tightenSingleVar().
◆ dualrayinfnnonzeros
| SCIP_Longint SCIP_Conflict::dualrayinfnnonzeros |
number of non-zeros over all accepted dual rays
Definition at line 153 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualrayInfNonzeros(), and tightenSingleVar().
◆ ndualraybndglobal
| SCIP_Longint SCIP_Conflict::ndualraybndglobal |
number of dual proof constraints of boundexceeding added globally
Definition at line 154 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualrayBndGlobal(), and tightenSingleVar().
◆ ndualraybndsuccess
| SCIP_Longint SCIP_Conflict::ndualraybndsuccess |
number of successfully dual proof analysis calls for boundexceeding LPs
Definition at line 155 of file struct_conflict.h.
Referenced by conflictAnalyzeBoundexceedingLP(), createAndAddProofcons(), SCIPconflictGetNDualrayBndSuccess(), and tightenSingleVar().
◆ dualraybndnnonzeros
| SCIP_Longint SCIP_Conflict::dualraybndnnonzeros |
number of non-zeros over all accepted dual proof of boundexceeding LPs
Definition at line 156 of file struct_conflict.h.
Referenced by createAndAddProofcons(), SCIPconflictGetNDualrayBndNonzeros(), and tightenSingleVar().
◆ dIBclock
| SCIP_CLOCK* SCIP_Conflict::dIBclock |
time used for detect implied bounds
Definition at line 158 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 160 of file struct_conflict.h.
Referenced by SCIPconflictAnalyze(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetPropTime().
◆ inflpanalyzetime
| SCIP_CLOCK* SCIP_Conflict::inflpanalyzetime |
time used for infeasible LP conflict analysis
Definition at line 161 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 162 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 163 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 164 of file struct_conflict.h.
Referenced by SCIPconflictAnalyzePseudo(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetPseudoTime().
◆ bdchgqueue
| SCIP_PQUEUE* SCIP_Conflict::bdchgqueue |
unprocessed conflict bound changes
Definition at line 165 of file struct_conflict.h.
Referenced by conflictAddConflictset(), conflictAnalyze(), conflictClear(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), and SCIPconflictAnalyze().
◆ forcedbdchgqueue
| SCIP_PQUEUE* SCIP_Conflict::forcedbdchgqueue |
unprocessed conflict bound changes that must be resolved
Definition at line 166 of file struct_conflict.h.
Referenced by conflictAddConflictset(), conflictAnalyze(), conflictClear(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), and SCIPconflictAnalyze().
◆ proofset
| SCIP_PROOFSET* SCIP_Conflict::proofset |
proof sets found at the current node
Definition at line 167 of file struct_conflict.h.
Referenced by conflictAnalyzeLP(), conflictFlushProofset(), conflictInitProofset(), and tightenDualproof().
◆ proofsets
| SCIP_PROOFSET** SCIP_Conflict::proofsets |
proof sets found at the current node
Definition at line 168 of file struct_conflict.h.
Referenced by conflictEnsureProofsetsMem(), conflictFlushProofset(), and conflictInsertProofset().
◆ conflictset
| SCIP_CONFLICTSET* SCIP_Conflict::conflictset |
bound changes resembling the current conflict set
Definition at line 169 of file struct_conflict.h.
Referenced by conflictAddConflictBound(), conflictAddConflictset(), conflictAnalyze(), conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), conflictClear(), conflictCreateReconvergenceConss(), conflictResolveBound(), runBoundHeuristic(), SCIPconflictAnalyze(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictInit(), and tightenDualproof().
◆ conflictsets
| SCIP_CONFLICTSET** SCIP_Conflict::conflictsets |
conflict sets found at the current node
Definition at line 170 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 171 of file struct_conflict.h.
Referenced by conflictEnsureConflictsetsMem(), and conflictInsertConflictset().
◆ tmpbdchginfos
| SCIP_BDCHGINFO** SCIP_Conflict::tmpbdchginfos |
temporarily created bound change information data
Definition at line 172 of file struct_conflict.h.
Referenced by conflictCreateTmpBdchginfo(), conflictEnsureTmpbdchginfosMem(), and conflictFreeTmpBdchginfos().
◆ conflictsetssize
| int SCIP_Conflict::conflictsetssize |
size of conflictsets array
Definition at line 173 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 174 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 175 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 176 of file struct_conflict.h.
Referenced by conflictAnalyzeLP(), conflictFlushProofset(), and conflictInsertProofset().
◆ tmpbdchginfossize
| int SCIP_Conflict::tmpbdchginfossize |
size of tmpbdchginfos array
Definition at line 177 of file struct_conflict.h.
Referenced by conflictEnsureTmpbdchginfosMem().
◆ ntmpbdchginfos
| int SCIP_Conflict::ntmpbdchginfos |
number of temporary created bound change information data
Definition at line 178 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 179 of file struct_conflict.h.
Referenced by bdchginfoIsInvalid(), conflictMarkBoundCheckPresence(), SCIPconflictGetVarLb(), SCIPconflictGetVarUb(), SCIPconflictInit(), and SCIPconflictIsVarUsed().