SCIP Doxygen Documentation
Loading...
Searching...
No Matches
SCIP_ConflictRow Struct Reference

Detailed Description

conflict row of type lhs <= a^Tx, semi-sparse representation

Definition at line 104 of file struct_conflict.h.

#include <struct_conflict.h>

Data Fields

SCIP_Real * vals
int * inds
SCIP_Real lhs
SCIP_Real slack
SCIP_Real coefquotient
int nvars
int nnz
int size
int validdepth
int conflictdepth
int repropdepth
int insertdepth
unsigned int usescutoffbound:1
unsigned int isbinary:1
SCIP_CONFTYPE conflicttype

Field Documentation

◆ vals

SCIP_Real* SCIP_ConflictRow::vals

Definition at line 106 of file struct_conflict.h.

Referenced by ComplementedMirLhs(), computeScaleReason(), computeSlack(), conflictAnalyzeResolution(), conflictRowAddSemiSparseData(), conflictRowClear(), conflictRowCopy(), conflictRowRemoveZeroVar(), conflictRowRemoveZeroVars(), conflictRowReplace(), createAndAddConflictCon(), executeResolutionStep(), getReasonRow(), isBdchgConflictRelevant(), linearCombRows(), MirReduction(), reduceReason(), rescaleAndResolve(), SCIPconflictAddConflictCon(), slackReducingContinuousBdchgQueue(), updateBdchgQueue(), updateStatistics(), weakenConflictRow(), weakenContinuousVarsConflictRow(), and weakenVarConflictRow().

◆ inds

int* SCIP_ConflictRow::inds

Definition at line 107 of file struct_conflict.h.

Referenced by ComplementedMirLhs(), computeSlack(), conflictAnalyzeResolution(), conflictRowAddSemiSparseData(), conflictRowCopy(), conflictRowRemoveZeroVar(), conflictRowRemoveZeroVars(), conflictRowReplace(), createAndAddConflictCon(), hasRelaxationOnlyVar(), isBinaryConflictRow(), linearCombRows(), MirReduction(), rescaleAndResolve(), SCIPconflictAddConflictCon(), slackReducingContinuousBdchgQueue(), updateBdchgQueue(), updateStatistics(), weakenConflictRow(), weakenContinuousVarsConflictRow(), and weakenVarConflictRow().

◆ lhs

SCIP_Real SCIP_ConflictRow::lhs

Definition at line 108 of file struct_conflict.h.

Referenced by ComplementedMirLhs(), computeSlack(), conflictAnalyzeResolution(), conflictRowAddSemiSparseData(), conflictRowClear(), conflictRowCopy(), conflictRowReplace(), createAndAddConflictCon(), getReasonRow(), linearCombRows(), MirReduction(), SCIPconflictAddConflictCon(), and weakenVarConflictRow().

◆ slack

SCIP_Real SCIP_ConflictRow::slack

Definition at line 109 of file struct_conflict.h.

Referenced by addConflictRows(), computeSlack(), conflictAnalyzeResolution(), conflictRowClear(), conflictRowCopy(), conflictRowReplace(), executeResolutionStep(), getConflictRow(), getReasonRow(), markBdchgAsFixed(), MirReduction(), and rescaleAndResolve().

◆ coefquotient

SCIP_Real SCIP_ConflictRow::coefquotient

Definition at line 110 of file struct_conflict.h.

Referenced by addConflictRows(), conflictAnalyzeResolution(), conflictRowClear(), conflictRowCopy(), conflictRowReplace(), and rescaleAndResolve().

◆ nvars

int SCIP_ConflictRow::nvars

Definition at line 111 of file struct_conflict.h.

Referenced by conflictRowClear(), conflictRowCopy(), and conflictRowReplace().

◆ nnz

int SCIP_ConflictRow::nnz

Definition at line 112 of file struct_conflict.h.

Referenced by addConflictRows(), ComplementedMirLhs(), computeSlack(), conflictAnalyzeResolution(), conflictRowAddSemiSparseData(), conflictRowClear(), conflictRowCopy(), conflictRowRemoveZeroVar(), conflictRowRemoveZeroVars(), conflictRowReplace(), createAndAddConflictCon(), executeResolutionStep(), getConflictRow(), hasRelaxationOnlyVar(), isBdchgConflictRelevant(), isBinaryConflictRow(), linearCombRows(), MirReduction(), rescaleAndResolve(), SCIPconflictAddConflictCon(), slackReducingContinuousBdchgQueue(), updateBdchgQueue(), updateStatistics(), weakenConflictRow(), weakenContinuousVarsConflictRow(), and weakenVarConflictRow().

◆ size

int SCIP_ConflictRow::size

Definition at line 113 of file struct_conflict.h.

Referenced by conflictRowAddSemiSparseData(), conflictRowReplace(), and rescaleAndResolve().

◆ validdepth

int SCIP_ConflictRow::validdepth

Definition at line 114 of file struct_conflict.h.

Referenced by conflictAnalyzeResolution(), conflictRowClear(), conflictRowCopy(), conflictRowReplace(), createAndAddConflictCon(), and SCIPconflictAddConflictCon().

◆ conflictdepth

int SCIP_ConflictRow::conflictdepth

Definition at line 115 of file struct_conflict.h.

Referenced by conflictAnalyzeResolution(), conflictRowClear(), conflictRowCopy(), conflictRowReplace(), and SCIPconflictAddConflictCon().

◆ repropdepth

int SCIP_ConflictRow::repropdepth

Definition at line 116 of file struct_conflict.h.

Referenced by conflictAnalyzeResolution(), conflictRowClear(), conflictRowCopy(), conflictRowReplace(), and SCIPconflictAddConflictCon().

◆ insertdepth

int SCIP_ConflictRow::insertdepth

Definition at line 117 of file struct_conflict.h.

Referenced by conflictAnalyzeResolution(), conflictRowClear(), conflictRowCopy(), conflictRowReplace(), and SCIPconflictAddConflictCon().

◆ usescutoffbound

unsigned int SCIP_ConflictRow::usescutoffbound

is the conflict based on the cutoff bound?

Definition at line 118 of file struct_conflict.h.

Referenced by conflictRowClear(), conflictRowCopy(), conflictRowReplace(), and createAndAddConflictCon().

◆ isbinary

unsigned int SCIP_ConflictRow::isbinary

is the constraint binary?

Definition at line 119 of file struct_conflict.h.

Referenced by conflictRowClear(), conflictRowCopy(), and conflictRowReplace().

◆ conflicttype

SCIP_CONFTYPE SCIP_ConflictRow::conflicttype

conflict type: unknown, resolution

Definition at line 120 of file struct_conflict.h.

Referenced by conflictAnalyzeResolution(), conflictRowClear(), conflictRowCopy(), conflictRowReplace(), createAndAddConflictCon(), and SCIPconflictInit().