SCIP_ProofSet Struct Reference

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