![]() |
OR-Tools
8.2
|
Definition at line 64 of file zero_half_cuts.h.
Public Attributes | |
std::vector< std::pair< glop::RowIndex, IntegerValue > > | multipliers |
std::vector< int > | cols |
int | rhs_parity |
double | slack |
std::vector<int> cols |
Definition at line 69 of file zero_half_cuts.h.
std::vector<std::pair<glop::RowIndex, IntegerValue> > multipliers |
Definition at line 66 of file zero_half_cuts.h.
int rhs_parity |
Definition at line 72 of file zero_half_cuts.h.
double slack |
Definition at line 75 of file zero_half_cuts.h.