Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::ZeroHalfCutHelper::CombinationOfRows Struct Reference

Detailed Description

Definition at line 65 of file zero_half_cuts.h.

#include <zero_half_cuts.h>

Public Attributes

std::vector< std::pair< glop::RowIndex, IntegerValue > > multipliers
std::vector< int > cols
int rhs_parity
double slack

Member Data Documentation

◆ cols

std::vector<int> operations_research::sat::ZeroHalfCutHelper::CombinationOfRows::cols

Definition at line 70 of file zero_half_cuts.h.

◆ multipliers

std::vector<std::pair<glop::RowIndex, IntegerValue> > operations_research::sat::ZeroHalfCutHelper::CombinationOfRows::multipliers

Definition at line 67 of file zero_half_cuts.h.

◆ rhs_parity

int operations_research::sat::ZeroHalfCutHelper::CombinationOfRows::rhs_parity

Definition at line 73 of file zero_half_cuts.h.

◆ slack

double operations_research::sat::ZeroHalfCutHelper::CombinationOfRows::slack

Definition at line 76 of file zero_half_cuts.h.

The documentation for this struct was generated from the following file: