Detailed Description

Definition at line 9714 of file cp_model_presolve.cc.

Public Member Functions
	ColumnEqForDuplicateDetection (CompactVectorVector< int, std::pair< int, int64_t > > *_column)
bool	operator() (int a, int b) const

Public Attributes
CompactVectorVector< int, std::pair< int, int64_t > > *	column

Constructor & Destructor Documentation

◆ ColumnEqForDuplicateDetection()

operations_research::sat::ColumnEqForDuplicateDetection::ColumnEqForDuplicateDetection ( CompactVectorVector< int, std::pair< int, int64_t > > * _column )

inlineexplicit

Definition at line 9715 of file cp_model_presolve.cc.

Member Function Documentation

◆ operator()()

bool operations_research::sat::ColumnEqForDuplicateDetection::operator()	(	int	a,
		int	b ) const

inline

We use absl::span<> comparison.

Definition at line 9718 of file cp_model_presolve.cc.

Member Data Documentation

◆ column

CompactVectorVector<int, std::pair<int, int64_t> >* operations_research::sat::ColumnEqForDuplicateDetection::column

Definition at line 9725 of file cp_model_presolve.cc.

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

ortools/sat/cp_model_presolve.cc