Scippy

SCIP

Solving Constraint Integer Programs

SCIP_Conflict Struct Reference

Detailed Description

conflict analysis data structure

Definition at line 103 of file struct_conflict.h.

#include <struct_conflict.h>

Data Fields

SCIP_Longint nglbchgbds
 
SCIP_Longint nappliedglbconss
 
SCIP_Longint nappliedglbliterals
 
SCIP_Longint nlocchgbds
 
SCIP_Longint nappliedlocconss
 
SCIP_Longint nappliedlocliterals
 
SCIP_Longint npropcalls
 
SCIP_Longint npropsuccess
 
SCIP_Longint npropconfconss
 
SCIP_Longint npropconfliterals
 
SCIP_Longint npropreconvconss
 
SCIP_Longint npropreconvliterals
 
SCIP_Longint ninflpcalls
 
SCIP_Longint ninflpsuccess
 
SCIP_Longint ninflpconfconss
 
SCIP_Longint ninflpconfliterals
 
SCIP_Longint ninflpreconvconss
 
SCIP_Longint ninflpreconvliterals
 
SCIP_Longint ninflpiterations
 
SCIP_Longint nboundlpcalls
 
SCIP_Longint nboundlpsuccess
 
SCIP_Longint nboundlpconfconss
 
SCIP_Longint nboundlpconfliterals
 
SCIP_Longint nboundlpreconvconss
 
SCIP_Longint nboundlpreconvliterals
 
SCIP_Longint nboundlpiterations
 
SCIP_Longint nsbcalls
 
SCIP_Longint nsbsuccess
 
SCIP_Longint nsbconfconss
 
SCIP_Longint nsbconfliterals
 
SCIP_Longint nsbreconvconss
 
SCIP_Longint nsbreconvliterals
 
SCIP_Longint nsbiterations
 
SCIP_Longint npseudocalls
 
SCIP_Longint npseudosuccess
 
SCIP_Longint npseudoconfconss
 
SCIP_Longint npseudoconfliterals
 
SCIP_Longint npseudoreconvconss
 
SCIP_Longint npseudoreconvliterals
 
SCIP_Longint ndualproofsinfglobal
 
SCIP_Longint ndualproofsinflocal
 
SCIP_Longint ndualproofsinfsuccess
 
SCIP_Longint dualproofsinfnnonzeros
 
SCIP_Longint ndualproofsbndglobal
 
SCIP_Longint ndualproofsbndlocal
 
SCIP_Longint ndualproofsbndsuccess
 
SCIP_Longint dualproofsbndnnonzeros
 
SCIP_CLOCKdIBclock
 
SCIP_CLOCKpropanalyzetime
 
SCIP_CLOCKinflpanalyzetime
 
SCIP_CLOCKboundlpanalyzetime
 
SCIP_CLOCKsbanalyzetime
 
SCIP_CLOCKpseudoanalyzetime
 
SCIP_PQUEUEbdchgqueue
 
SCIP_PQUEUEforcedbdchgqueue
 
SCIP_PROOFSETproofset
 
SCIP_PROOFSET ** proofsets
 
SCIP_CONFLICTSETconflictset
 
SCIP_CONFLICTSET ** conflictsets
 
SCIP_Realconflictsetscores
 
SCIP_BDCHGINFO ** tmpbdchginfos
 
int conflictsetssize
 
int nconflictsets
 
int proofsetssize
 
int nproofsets
 
int tmpbdchginfossize
 
int ntmpbdchginfos
 
int count
 

Field Documentation

◆ nglbchgbds

SCIP_Longint SCIP_Conflict::nglbchgbds

total number of applied global bound changes

Definition at line 105 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 106 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 107 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 108 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 109 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 110 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 111 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 112 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 113 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 114 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 115 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 116 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 117 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 118 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 119 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 121 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 122 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 124 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 126 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 127 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 128 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 129 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 131 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 133 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 135 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 137 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 139 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 140 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 141 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 142 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 143 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 144 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 145 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 146 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 147 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 148 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 149 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 150 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 151 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 152 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 153 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 154 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), conflictAnalyzeDualProof(), conflictAnalyzeInfeasibleLP(), createAndAddProofcons(), 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 155 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 156 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 157 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 158 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 159 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 161 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 163 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 164 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 165 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 166 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 167 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzePseudo(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetPseudoTime().

◆ bdchgqueue

◆ forcedbdchgqueue

SCIP_PQUEUE* SCIP_Conflict::forcedbdchgqueue

◆ proofset

SCIP_PROOFSET* SCIP_Conflict::proofset

proof sets found at the current node

Definition at line 170 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 171 of file struct_conflict.h.

Referenced by conflictEnsureProofsetsMem(), conflictFlushProofset(), and conflictInsertProofset().

◆ conflictset

◆ conflictsets

SCIP_CONFLICTSET** SCIP_Conflict::conflictsets

conflict sets found at the current node

Definition at line 173 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 174 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 175 of file struct_conflict.h.

Referenced by conflictCreateTmpBdchginfo(), conflictEnsureTmpbdchginfosMem(), and conflictFreeTmpBdchginfos().

◆ conflictsetssize

int SCIP_Conflict::conflictsetssize

size of conflictsets array

Definition at line 176 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 177 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 178 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 179 of file struct_conflict.h.

Referenced by conflictAnalyzeLP(), conflictFlushProofset(), and conflictInsertProofset().

◆ tmpbdchginfossize

int SCIP_Conflict::tmpbdchginfossize

size of tmpbdchginfos array

Definition at line 180 of file struct_conflict.h.

Referenced by conflictEnsureTmpbdchginfosMem().

◆ ntmpbdchginfos

int SCIP_Conflict::ntmpbdchginfos

number of temporary created bound change information data

Definition at line 181 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 182 of file struct_conflict.h.

Referenced by bdchginfoIsInvalid(), conflictMarkBoundCheckPresence(), SCIPconflictGetVarLb(), SCIPconflictGetVarUb(), SCIPconflictInit(), and SCIPconflictIsVarUsed().