Scippy

SCIP

Solving Constraint Integer Programs

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_Realvals
 
int * inds
 
SCIP_Real rhs
 
int nnz
 
int size
 
int validdepth
 
SCIP_CONFTYPE conflicttype
 

Field Documentation

◆ vals

◆ inds

◆ rhs

◆ nnz

◆ size

int SCIP_ProofSet::size

Definition at line 96 of file struct_conflict.h.

Referenced by proofsetAddSparseData().

◆ validdepth

int SCIP_ProofSet::validdepth

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