Detailed Description
datastructure for cuts in a cut pool
Definition at line 39 of file struct_cutpool.h.
#include <struct_cutpool.h>
Data Fields | |
SCIP_ROW * | row |
SCIP_Longint | processedlp |
SCIP_Longint | processedlpsol |
int | age |
int | pos |
Field Documentation
◆ row
SCIP_ROW* SCIP_Cut::row |
LP row of this cut
Definition at line 41 of file struct_cutpool.h.
Referenced by cutpoolDelCut(), SCIP_DECL_HASHGETKEY(), SCIPcutGetLPActivityQuot(), SCIPcutGetRow(), SCIPcutpoolAddRow(), SCIPcutpoolClear(), SCIPcutpoolIsCutNew(), and SCIPcutpoolSeparate().
◆ processedlp
SCIP_Longint SCIP_Cut::processedlp |
last LP, where this cut was processed in separation of the LP solution
Definition at line 42 of file struct_cutpool.h.
Referenced by cutpoolDelCut(), and SCIPcutpoolSeparate().
◆ processedlpsol
SCIP_Longint SCIP_Cut::processedlpsol |
last LP, where this cut was processed in separation of other solutions
Definition at line 43 of file struct_cutpool.h.
Referenced by cutpoolDelCut(), and SCIPcutpoolSeparate().
◆ age
int SCIP_Cut::age |
age of the cut: number of successive times, the cut was not violated
Definition at line 44 of file struct_cutpool.h.
Referenced by cutIsAged(), SCIPcutGetAge(), and SCIPcutpoolSeparate().
◆ pos
int SCIP_Cut::pos |
position of cut in the cuts array of the cut pool
Definition at line 45 of file struct_cutpool.h.
Referenced by cutpoolDelCut(), SCIPcutpoolAddNewRow(), and SCIPcutpoolSeparate().