SCIP_ProofSet Struct Reference

Detailed Description

set of conflicting bound changes

Definition at line 90 of file struct_conflict.h.

#include <struct_conflict.h>

Data Fields
SCIP_Real *	vals
int *	inds
SCIP_Real	rhs
int	nnz
int	size
int	validdepth
SCIP_CONFTYPE	conflicttype

Field Documentation

vals

SCIP_Real* SCIP_ProofSet::vals

Definition at line 92 of file struct_conflict.h.

Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetGetVals(), tightenCoefficients(), and tightenDualproof().

inds

int* SCIP_ProofSet::inds

Definition at line 93 of file struct_conflict.h.

Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetGetInds(), tightenCoefficients(), and tightenDualproof().

rhs

SCIP_Real SCIP_ProofSet::rhs

Definition at line 94 of file struct_conflict.h.

Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetClear(), proofsetGetRhs(), tightenCoefficients(), and tightenDualproof().

nnz

int SCIP_ProofSet::nnz

Definition at line 95 of file struct_conflict.h.

Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetClear(), SCIPproofsetGetNVars(), tightenCoefficients(), and tightenDualproof().

size

int SCIP_ProofSet::size

Definition at line 96 of file struct_conflict.h.

Referenced by proofsetAddSparseData().

validdepth

int SCIP_ProofSet::validdepth

Definition at line 97 of file struct_conflict.h.

Referenced by createAndAddProofcons(), proofsetClear(), SCIPconflictFlushProofset(), and tightenDualproof().

conflicttype

SCIP_CONFTYPE SCIP_ProofSet::conflicttype

conflict type: unknown, infeasible LP, bound exceeding LP

Definition at line 98 of file struct_conflict.h.

Referenced by proofsetClear(), proofsetGetConftype(), SCIPconflictFlushProofset(), separateAlternativeProofs(), and tightenDualproof().