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(), proofsetFree(), proofsetGetVals(), tightenCoefficients(), and tightenDualproof().

inds

int* SCIP_ProofSet::inds

Definition at line 93 of file struct_conflict.h.

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

rhs

SCIP_Real SCIP_ProofSet::rhs

Definition at line 94 of file struct_conflict.h.

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

nnz

int SCIP_ProofSet::nnz

Definition at line 95 of file struct_conflict.h.

Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetClear(), proofsetFree(), proofsetGetNVars(), 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 conflictFlushProofset(), createAndAddProofcons(), proofsetClear(), 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 conflictFlushProofset(), proofsetClear(), proofsetGetConftype(), separateAlternativeProofs(), and tightenDualproof().