Scippy

SCIP

Solving Constraint Integer Programs

Data Fields
SCIP_Conflict Struct Reference

Detailed Description

conflict analysis data structure

Definition at line 88 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_CLOCK * dIBclock
 
SCIP_CLOCK * propanalyzetime
 
SCIP_CLOCK * inflpanalyzetime
 
SCIP_CLOCK * boundlpanalyzetime
 
SCIP_CLOCK * sbanalyzetime
 
SCIP_CLOCK * pseudoanalyzetime
 
SCIP_PQUEUE * bdchgqueue
 
SCIP_PQUEUE * forcedbdchgqueue
 
SCIP_CONFLICTSET * conflictset
 
SCIP_CONFLICTSET ** conflictsets
 
SCIP_Real * conflictsetscores
 
SCIP_BDCHGINFO ** tmpbdchginfos
 
int conflictsetssize
 
int nconflictsets
 
int tmpbdchginfossize
 
int ntmpbdchginfos
 
int count
 

Field Documentation

SCIP_Longint SCIP_Conflict::nglbchgbds

total number of applied global bound changes

Definition at line 90 of file struct_conflict.h.

Referenced by SCIPconflictGetNGlobalChgBds().

SCIP_Longint SCIP_Conflict::nappliedglbconss

total number of conflict constraints added globally to the problem

Definition at line 91 of file struct_conflict.h.

Referenced by SCIPconflictGetNAppliedConss(), SCIPconflictGetNAppliedGlobalConss(), and updateStatistics().

SCIP_Longint SCIP_Conflict::nappliedglbliterals

total number of literals in globally applied conflict constraints

Definition at line 92 of file struct_conflict.h.

Referenced by SCIPconflictGetNAppliedGlobalLiterals(), SCIPconflictGetNAppliedLiterals(), and updateStatistics().

SCIP_Longint SCIP_Conflict::nlocchgbds

total number of applied local bound changes

Definition at line 93 of file struct_conflict.h.

Referenced by SCIPconflictGetNLocalChgBds().

SCIP_Longint SCIP_Conflict::nappliedlocconss

total number of conflict constraints added locally to the problem

Definition at line 94 of file struct_conflict.h.

Referenced by SCIPconflictGetNAppliedConss(), SCIPconflictGetNAppliedLocalConss(), and updateStatistics().

SCIP_Longint SCIP_Conflict::nappliedlocliterals

total number of literals in locally applied conflict constraints

Definition at line 95 of file struct_conflict.h.

Referenced by SCIPconflictGetNAppliedLiterals(), SCIPconflictGetNAppliedLocalLiterals(), and updateStatistics().

SCIP_Longint SCIP_Conflict::npropcalls

number of calls to propagation conflict analysis

Definition at line 96 of file struct_conflict.h.

Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropCalls().

SCIP_Longint SCIP_Conflict::npropsuccess

number of calls yielding at least one conflict constraint

Definition at line 97 of file struct_conflict.h.

Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropSuccess().

SCIP_Longint SCIP_Conflict::npropconfconss

number of valid conflict constraints detected in propagation conflict analysis

Definition at line 98 of file struct_conflict.h.

Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropConflictConss().

SCIP_Longint SCIP_Conflict::npropconfliterals

total number of literals in valid propagation conflict constraints

Definition at line 99 of file struct_conflict.h.

Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropConflictLiterals().

SCIP_Longint SCIP_Conflict::npropreconvconss

number of reconvergence constraints detected in propagation conflict analysis

Definition at line 100 of file struct_conflict.h.

Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropReconvergenceConss().

SCIP_Longint SCIP_Conflict::npropreconvliterals

total number of literals in valid propagation reconvergence constraints

Definition at line 101 of file struct_conflict.h.

Referenced by SCIPconflictAnalyze(), and SCIPconflictGetNPropReconvergenceLiterals().

SCIP_Longint SCIP_Conflict::ninflpcalls

number of calls to infeasible LP conflict analysis

Definition at line 102 of file struct_conflict.h.

Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPCalls().

SCIP_Longint SCIP_Conflict::ninflpsuccess

number of calls yielding at least one conflict constraint

Definition at line 103 of file struct_conflict.h.

Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPSuccess().

SCIP_Longint SCIP_Conflict::ninflpconfconss

number of valid conflict constraints detected in infeasible LP conflict analysis

Definition at line 104 of file struct_conflict.h.

Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPConflictConss().

SCIP_Longint SCIP_Conflict::ninflpconfliterals

total number of literals in valid infeasible LP conflict constraints

Definition at line 106 of file struct_conflict.h.

Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPConflictLiterals().

SCIP_Longint SCIP_Conflict::ninflpreconvconss

number of reconvergence constraints detected in infeasible LP conflict analysis

Definition at line 107 of file struct_conflict.h.

Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPReconvergenceConss().

SCIP_Longint SCIP_Conflict::ninflpreconvliterals

total number of literals in valid infeasible LP reconvergence constraints

Definition at line 109 of file struct_conflict.h.

Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPReconvergenceLiterals().

SCIP_Longint SCIP_Conflict::ninflpiterations

total number of LP iterations used in infeasible LP conflict analysis

Definition at line 111 of file struct_conflict.h.

Referenced by conflictAnalyzeInfeasibleLP(), and SCIPconflictGetNInfeasibleLPIterations().

SCIP_Longint SCIP_Conflict::nboundlpcalls

number of calls to bound exceeding LP conflict analysis

Definition at line 112 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPCalls().

SCIP_Longint SCIP_Conflict::nboundlpsuccess

number of calls yielding at least one conflict constraint

Definition at line 113 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPSuccess().

SCIP_Longint SCIP_Conflict::nboundlpconfconss

number of valid conflict constraints detected in bound exceeding LP conflict analysis

Definition at line 114 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPConflictConss().

SCIP_Longint SCIP_Conflict::nboundlpconfliterals

total number of literals in valid bound exceeding LP conflict constraints

Definition at line 116 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPConflictLiterals().

SCIP_Longint SCIP_Conflict::nboundlpreconvconss

number of reconvergence constraints detected in bound exceeding LP conflict analysis

Definition at line 118 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPReconvergenceConss().

SCIP_Longint SCIP_Conflict::nboundlpreconvliterals

total number of literals in valid bound exceeding LP reconvergence constraints

Definition at line 120 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPReconvergenceLiterals().

SCIP_Longint SCIP_Conflict::nboundlpiterations

total number of LP iterations used in bound exceeding LP conflict analysis

Definition at line 122 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), and SCIPconflictGetNBoundexceedingLPIterations().

SCIP_Longint SCIP_Conflict::nsbcalls

number of calls to infeasible strong branching conflict analysis

Definition at line 124 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchCalls().

SCIP_Longint SCIP_Conflict::nsbsuccess

number of calls yielding at least one conflict constraint

Definition at line 125 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchSuccess().

SCIP_Longint SCIP_Conflict::nsbconfconss

number of conflict constraints detected in strong branching conflict analysis

Definition at line 126 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchConflictConss().

SCIP_Longint SCIP_Conflict::nsbconfliterals

total number of literals in valid strong branching conflict constraints

Definition at line 127 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchConflictLiterals().

SCIP_Longint SCIP_Conflict::nsbreconvconss

number of reconvergence constraints detected in strong branch conflict analysis

Definition at line 128 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchReconvergenceConss().

SCIP_Longint SCIP_Conflict::nsbreconvliterals

total number of literals in valid strong branching reconvergence constraints

Definition at line 129 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchReconvergenceLiterals().

SCIP_Longint SCIP_Conflict::nsbiterations

total number of LP iterations used in strong branching conflict analysis

Definition at line 130 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPconflictGetNStrongbranchIterations().

SCIP_Longint SCIP_Conflict::npseudocalls

number of calls to pseudo solution conflict analysis

Definition at line 131 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoCalls().

SCIP_Longint SCIP_Conflict::npseudosuccess

number of calls yielding at least one conflict constraint

Definition at line 132 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoSuccess().

SCIP_Longint SCIP_Conflict::npseudoconfconss

number of valid conflict constraints detected in pseudo sol conflict analysis

Definition at line 133 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoConflictConss().

SCIP_Longint SCIP_Conflict::npseudoconfliterals

total number of literals in valid pseudo solution conflict constraints

Definition at line 134 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoConflictLiterals().

SCIP_Longint SCIP_Conflict::npseudoreconvconss

number of reconvergence constraints detected in pseudo sol conflict analysis

Definition at line 135 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoReconvergenceConss().

SCIP_Longint SCIP_Conflict::npseudoreconvliterals

total number of literals in valid pseudo solution reconvergence constraints

Definition at line 136 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzePseudo(), and SCIPconflictGetNPseudoReconvergenceLiterals().

SCIP_CLOCK* SCIP_Conflict::dIBclock

time used for detect implied bounds

Definition at line 138 of file struct_conflict.h.

Referenced by conflictAddConflictCons(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetGlobalApplTime().

SCIP_CLOCK* SCIP_Conflict::propanalyzetime

time used for propagation conflict analysis

Definition at line 140 of file struct_conflict.h.

Referenced by SCIPconflictAnalyze(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetPropTime().

SCIP_CLOCK* SCIP_Conflict::inflpanalyzetime

time used for infeasible LP conflict analysis

Definition at line 141 of file struct_conflict.h.

Referenced by conflictAnalyzeInfeasibleLP(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetInfeasibleLPTime().

SCIP_CLOCK* SCIP_Conflict::boundlpanalyzetime

time used for bound exceeding LP conflict analysis

Definition at line 142 of file struct_conflict.h.

Referenced by conflictAnalyzeBoundexceedingLP(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetBoundexceedingLPTime().

SCIP_CLOCK* SCIP_Conflict::sbanalyzetime

time used for strong branching LP conflict analysis

Definition at line 143 of file struct_conflict.h.

Referenced by SCIPconflictAnalyzeStrongbranch(), SCIPconflictEnableOrDisableClocks(), and SCIPconflictGetStrongbranchTime().

SCIP_CLOCK* SCIP_Conflict::pseudoanalyzetime

time used for pseudo solution conflict analysis

Definition at line 144 of file struct_conflict.h.

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

SCIP_PQUEUE* SCIP_Conflict::bdchgqueue

unprocessed conflict bound changes

Definition at line 145 of file struct_conflict.h.

Referenced by conflictAddConflictset(), conflictAnalyze(), conflictClear(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), and SCIPconflictAnalyze().

SCIP_PQUEUE* SCIP_Conflict::forcedbdchgqueue

unprocessed conflict bound changes that must be resolved

Definition at line 146 of file struct_conflict.h.

Referenced by conflictAddConflictset(), conflictAnalyze(), conflictClear(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), and SCIPconflictAnalyze().

SCIP_CONFLICTSET* SCIP_Conflict::conflictset

bound changes resembling the current conflict set

Definition at line 147 of file struct_conflict.h.

Referenced by conflictAddConflictBound(), conflictAddConflictset(), conflictAnalyze(), conflictClear(), conflictCreateReconvergenceConss(), conflictResolveBound(), and SCIPconflictAnalyze().

SCIP_CONFLICTSET** SCIP_Conflict::conflictsets

conflict sets found at the current node

Definition at line 148 of file struct_conflict.h.

Referenced by conflictEnsureConflictsetsMem(), conflictInsertConflictset(), and SCIPconflictFlushConss().

SCIP_Real* SCIP_Conflict::conflictsetscores

score values of the conflict sets found at the current node

Definition at line 149 of file struct_conflict.h.

Referenced by conflictEnsureConflictsetsMem(), and conflictInsertConflictset().

SCIP_BDCHGINFO** SCIP_Conflict::tmpbdchginfos

temporarily created bound change information data

Definition at line 150 of file struct_conflict.h.

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

int SCIP_Conflict::conflictsetssize

size of conflictsets array

Definition at line 151 of file struct_conflict.h.

Referenced by conflictEnsureConflictsetsMem().

int SCIP_Conflict::nconflictsets

number of available conflict sets (used slots in conflictsets array)

Definition at line 152 of file struct_conflict.h.

Referenced by conflictAnalyzeLP(), conflictInsertConflictset(), SCIPconflictAnalyzePseudo(), SCIPconflictFlushConss(), and SCIPconflictGetNConflicts().

int SCIP_Conflict::tmpbdchginfossize

size of tmpbdchginfos array

Definition at line 153 of file struct_conflict.h.

Referenced by conflictEnsureTmpbdchginfosMem().

int SCIP_Conflict::ntmpbdchginfos

number of temporary created bound change information data

Definition at line 154 of file struct_conflict.h.

Referenced by conflictCreateTmpBdchginfo(), and conflictFreeTmpBdchginfos().

int SCIP_Conflict::count

conflict set counter to label binary conflict variables with

Definition at line 155 of file struct_conflict.h.

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