Scippy

SCIP

Solving Constraint Integer Programs

Data Fields
SCIP_Conflict Struct Reference

Detailed Description

conflict analysis data structure

Definition at line 102 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 ndualrayinfglobal
 
SCIP_Longint ndualrayinfsuccess
 
SCIP_Longint dualrayinfnnonzeros
 
SCIP_Longint ndualraybndglobal
 
SCIP_Longint ndualraybndsuccess
 
SCIP_Longint dualraybndnnonzeros
 
SCIP_CLOCK * dIBclock
 
SCIP_CLOCK * propanalyzetime
 
SCIP_CLOCK * inflpanalyzetime
 
SCIP_CLOCK * boundlpanalyzetime
 
SCIP_CLOCK * sbanalyzetime
 
SCIP_CLOCK * pseudoanalyzetime
 
SCIP_PQUEUE * bdchgqueue
 
SCIP_PQUEUE * forcedbdchgqueue
 
SCIP_PROOFSET * proofset
 
SCIP_PROOFSET ** proofsets
 
SCIP_CONFLICTSET * conflictset
 
SCIP_CONFLICTSET ** conflictsets
 
SCIP_Real * conflictsetscores
 
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 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().