Detailed Description

Definition at line 40 of file zero_half_cuts.h.

#include <zero_half_cuts.h>

Classes
struct	CombinationOfRows

Public Member Functions
void	ProcessVariables (const std::vector< double > &lp_values, absl::Span< const IntegerValue > lower_bounds, absl::Span< const IntegerValue > upper_bounds)
void	AddOneConstraint (glop::RowIndex, absl::Span< const glop::ColIndex > cols, absl::Span< const IntegerValue > coeffs, IntegerValue lb, IntegerValue ub)
std::vector< std::vector< std::pair< glop::RowIndex, IntegerValue > > >	InterestingCandidates (ModelRandomGenerator *random)
void	Reset (int size)
void	AddBinaryRow (const CombinationOfRows &binary_row)
const CombinationOfRows &	MatrixRow (int row) const
const std::vector< int > &	MatrixCol (int col) const
void	EliminateVarUsingRow (int col, int row)
void	SymmetricDifference (absl::Span< const int > a, std::vector< int > *b)

Member Function Documentation

◆ AddBinaryRow()

void operations_research::sat::ZeroHalfCutHelper::AddBinaryRow ( const CombinationOfRows & binary_row )

Definition at line 61 of file zero_half_cuts.cc.

◆ AddOneConstraint()

void operations_research::sat::ZeroHalfCutHelper::AddOneConstraint	(	glop::RowIndex	row,
		absl::Span< const glop::ColIndex >	cols,
		absl::Span< const IntegerValue >	coeffs,
		IntegerValue	lb,
		IntegerValue	ub )

Definition at line 70 of file zero_half_cuts.cc.

◆ EliminateVarUsingRow()

void operations_research::sat::ZeroHalfCutHelper::EliminateVarUsingRow	(	int	col,
		int	row )

Definition at line 151 of file zero_half_cuts.cc.

◆ InterestingCandidates()

std::vector< std::vector< std::pair< glop::RowIndex, IntegerValue > > > operations_research::sat::ZeroHalfCutHelper::InterestingCandidates ( ModelRandomGenerator * random )

Definition at line 218 of file zero_half_cuts.cc.

◆ MatrixCol()

const std::vector< int > & operations_research::sat::ZeroHalfCutHelper::MatrixCol ( int col ) const

inline

Definition at line 80 of file zero_half_cuts.h.

◆ MatrixRow()

const CombinationOfRows & operations_research::sat::ZeroHalfCutHelper::MatrixRow ( int row ) const

inline

Definition at line 79 of file zero_half_cuts.h.

◆ ProcessVariables()

void operations_research::sat::ZeroHalfCutHelper::ProcessVariables	(	const std::vector< double > &	lp_values,
		absl::Span< const IntegerValue >	lower_bounds,
		absl::Span< const IntegerValue >	upper_bounds )

Definition at line 40 of file zero_half_cuts.cc.

◆ Reset()

void operations_research::sat::ZeroHalfCutHelper::Reset ( int size )

Definition at line 31 of file zero_half_cuts.cc.

◆ SymmetricDifference()

void operations_research::sat::ZeroHalfCutHelper::SymmetricDifference	(	absl::Span< const int >	a,
		std::vector< int > *	b )

Definition at line 125 of file zero_half_cuts.cc.

The documentation for this class was generated from the following files:

ortools/sat/zero_half_cuts.h
ortools/sat/zero_half_cuts.cc