Detailed Description

Definition at line 493 of file integer_base.h.

#include <integer_base.h>

Public Types
enum class	AddResult { ADDED , UPDATED , NOT_BETTER , INVALID }

Public Member Functions
std::pair< AddResult, AddResult >	Add (LinearExpression2 expr, IntegerValue lb, IntegerValue ub)
RelationStatus	GetStatus (LinearExpression2 expr, IntegerValue lb, IntegerValue ub) const
IntegerValue	UpperBoundWhenCanonicalized (LinearExpression2 expr) const
int64_t	num_bounds () const
std::vector< std::pair< LinearExpression2, IntegerValue > >	GetSortedNonTrivialUpperBounds () const
std::vector< std::tuple< LinearExpression2, IntegerValue, IntegerValue > >	GetSortedNonTrivialBounds () const

Member Enumeration Documentation

◆ AddResult

enum class operations_research::sat::BestBinaryRelationBounds::AddResult

strong

Enumerator
ADDED
UPDATED
NOT_BETTER
INVALID

Definition at line 504 of file integer_base.h.

Member Function Documentation

◆ Add()

std::pair< BestBinaryRelationBounds::AddResult, BestBinaryRelationBounds::AddResult > operations_research::sat::BestBinaryRelationBounds::Add	(	LinearExpression2	expr,
		IntegerValue	lb,
		IntegerValue	ub )

Definition at line 186 of file integer_base.cc.

◆ GetSortedNonTrivialBounds()

std::vector< std::tuple< LinearExpression2, IntegerValue, IntegerValue > > operations_research::sat::BestBinaryRelationBounds::GetSortedNonTrivialBounds ( ) const

Definition at line 260 of file integer_base.cc.

◆ GetSortedNonTrivialUpperBounds()

std::vector< std::pair< LinearExpression2, IntegerValue > > operations_research::sat::BestBinaryRelationBounds::GetSortedNonTrivialUpperBounds ( ) const

Definition at line 242 of file integer_base.cc.

◆ GetStatus()

RelationStatus operations_research::sat::BestBinaryRelationBounds::GetStatus	(	LinearExpression2	expr,
		IntegerValue	lb,
		IntegerValue	ub ) const

Definition at line 224 of file integer_base.cc.

◆ num_bounds()

int64_t operations_research::sat::BestBinaryRelationBounds::num_bounds ( ) const

inline

Definition at line 521 of file integer_base.h.

◆ UpperBoundWhenCanonicalized()

IntegerValue operations_research::sat::BestBinaryRelationBounds::UpperBoundWhenCanonicalized ( LinearExpression2 expr ) const