#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.

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 66 of file zero_half_cuts.h.

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 71 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 68 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 74 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 77 of file zero_half_cuts.h.

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