Detailed Description

Definition at line 658 of file precedences.h.

#include <precedences.h>

Public Types
enum class	ReifiedBoundType { kNoLiteralStored , kAlwaysTrue , kAlwaysFalse }

Public Member Functions
	ReifiedLinear2Bounds (Model *model)
	~ReifiedLinear2Bounds ()
void	AddBoundEncodingIfNonTrivial (Literal l, LinearExpression2 expr, IntegerValue ub)
void	AddLinear3 (absl::Span< const IntegerVariable > vars, absl::Span< const int64_t > coeffs, int64_t activity)
std::variant< ReifiedBoundType, Literal, IntegerLiteral >	GetEncodedBound (LinearExpression2 expr, IntegerValue ub)
std::pair< AffineExpression, IntegerValue >	GetLinear3Bound (LinearExpression2Index lin2_index) const

Member Enumeration Documentation

◆ ReifiedBoundType

enum class operations_research::sat::ReifiedLinear2Bounds::ReifiedBoundType

strong

Enumerator
kNoLiteralStored
kAlwaysTrue
kAlwaysFalse

Definition at line 677 of file precedences.h.

Constructor & Destructor Documentation

◆ ReifiedLinear2Bounds()

operations_research::sat::ReifiedLinear2Bounds::ReifiedLinear2Bounds ( Model * model )

explicit

Definition at line 1262 of file precedences.cc.

◆ ~ReifiedLinear2Bounds()

operations_research::sat::ReifiedLinear2Bounds::~ReifiedLinear2Bounds ( )

Definition at line 1299 of file precedences.cc.

Member Function Documentation

◆ AddBoundEncodingIfNonTrivial()

void operations_research::sat::ReifiedLinear2Bounds::AddBoundEncodingIfNonTrivial	(	Literal	l,
		LinearExpression2	expr,
		IntegerValue	ub )

Definition at line 1311 of file precedences.cc.

◆ AddLinear3()

void operations_research::sat::ReifiedLinear2Bounds::AddLinear3	(	absl::Span< const IntegerVariable >	vars,
		absl::Span< const int64_t >	coeffs,
		int64_t	activity )

Definition at line 1369 of file precedences.cc.

◆ GetEncodedBound()

std::variant< ReifiedLinear2Bounds::ReifiedBoundType, Literal, IntegerLiteral > operations_research::sat::ReifiedLinear2Bounds::GetEncodedBound	(	LinearExpression2	expr,
		IntegerValue	ub )

Definition at line 1332 of file precedences.cc.

◆ GetLinear3Bound()

std::pair< AffineExpression, IntegerValue > operations_research::sat::ReifiedLinear2Bounds::GetLinear3Bound ( LinearExpression2Index lin2_index ) const

Definition at line 1393 of file precedences.cc.

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

ortools/sat/precedences.h
ortools/sat/precedences.cc