Detailed Description

Visible for testing.

Boolean matrix. Each column correspond to one variable (col indices). Each row to a sum of the initial problem constraints. We store the coefficient modulo 2, so only the positions of the ones.

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
	How this row was formed from the initial problem constraints.
std::vector< int >	cols
	The index of the odd coefficient of this combination.
int	rhs_parity
	The parity of the rhs (1 for odd).
double	slack
	How tight this constraints is under the current LP solution.

Member Data Documentation

◆ cols

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

The index of the odd coefficient of this combination.

Definition at line 70 of file zero_half_cuts.h.

◆ multipliers

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

How this row was formed from the initial problem constraints.

Definition at line 67 of file zero_half_cuts.h.

◆ rhs_parity

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

The parity of the rhs (1 for odd).

Definition at line 73 of file zero_half_cuts.h.

◆ slack

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

How tight this constraints is under the current LP solution.

Definition at line 76 of file zero_half_cuts.h.

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

ortools/sat/zero_half_cuts.h