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().