Detailed Description
set of conflicting bound changes
Definition at line 81 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 83 of file struct_conflict.h.
Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetFree(), proofsetGetVals(), tightenCoefficients(), and tightenDualproof().
◆ inds
int* SCIP_ProofSet::inds |
Definition at line 84 of file struct_conflict.h.
Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetFree(), proofsetGetInds(), tightenCoefficients(), and tightenDualproof().
◆ rhs
SCIP_Real SCIP_ProofSet::rhs |
Definition at line 85 of file struct_conflict.h.
Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetClear(), proofsetFree(), proofsetGetRhs(), tightenCoefficients(), and tightenDualproof().
◆ nnz
int SCIP_ProofSet::nnz |
Definition at line 86 of file struct_conflict.h.
Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetClear(), proofsetFree(), proofsetGetNVars(), tightenCoefficients(), and tightenDualproof().
◆ size
int SCIP_ProofSet::size |
Definition at line 87 of file struct_conflict.h.
Referenced by proofsetAddSparseData().
◆ validdepth
int SCIP_ProofSet::validdepth |
Definition at line 88 of file struct_conflict.h.
Referenced by conflictFlushProofset(), createAndAddProofcons(), proofsetClear(), and tightenDualproof().
◆ conflicttype
SCIP_CONFTYPE SCIP_ProofSet::conflicttype |
conflict type: unknown, infeasible LP, bound exceeding LP
Definition at line 89 of file struct_conflict.h.
Referenced by conflictFlushProofset(), proofsetClear(), proofsetGetConftype(), separateAlternativeProofs(), and tightenDualproof().