Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::Linear2Bounds Class Reference

Detailed Description

Definition at line 720 of file precedences.h.

#include <precedences.h>

Inheritance diagram for operations_research::sat::Linear2Bounds:
operations_research::sat::LazyReasonInterface

Public Member Functions

 Linear2Bounds (Model *model)
 ~Linear2Bounds ()
IntegerValue UpperBound (LinearExpression2 expr) const
IntegerValue UpperBound (LinearExpression2Index lin2_index) const
void AddReasonForUpperBoundLowerThan (LinearExpression2 expr, IntegerValue ub, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) const
RelationStatus GetStatus (LinearExpression2 expr, IntegerValue lb, IntegerValue ub) const
IntegerValue NonTrivialUpperBound (LinearExpression2Index lin2_index) const
bool EnqueueLowerOrEqual (LinearExpression2 expr, IntegerValue ub, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)
std::string LazyReasonName () const final
void Explain (int id, IntegerLiteral to_explain, IntegerReason *reason) final
Public Member Functions inherited from operations_research::sat::LazyReasonInterface
 LazyReasonInterface ()=default
virtual ~LazyReasonInterface ()=default

Constructor & Destructor Documentation

◆ Linear2Bounds()

operations_research::sat::Linear2Bounds::Linear2Bounds ( Model * model)
inlineexplicit

Definition at line 722 of file precedences.h.

◆ ~Linear2Bounds()

operations_research::sat::Linear2Bounds::~Linear2Bounds ( )

Definition at line 1490 of file precedences.cc.

Member Function Documentation

◆ AddReasonForUpperBoundLowerThan()

void operations_research::sat::Linear2Bounds::AddReasonForUpperBoundLowerThan ( LinearExpression2 expr,
IntegerValue ub,
std::vector< Literal > * literal_reason,
std::vector< IntegerLiteral > * integer_reason ) const

Definition at line 1535 of file precedences.cc.

◆ EnqueueLowerOrEqual()

bool operations_research::sat::Linear2Bounds::EnqueueLowerOrEqual ( LinearExpression2 expr,
IntegerValue ub,
absl::Span< const Literal > literal_reason,
absl::Span< const IntegerLiteral > integer_reason )

Definition at line 1598 of file precedences.cc.

◆ Explain()

void operations_research::sat::Linear2Bounds::Explain ( int id,
IntegerLiteral to_explain,
IntegerReason * reason )
finalvirtual

Implements operations_research::sat::LazyReasonInterface.

Definition at line 1727 of file precedences.cc.

◆ GetStatus()

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

Definition at line 1577 of file precedences.cc.

◆ LazyReasonName()

std::string operations_research::sat::Linear2Bounds::LazyReasonName ( ) const
inlinefinalvirtual

Implements operations_research::sat::LazyReasonInterface.

Definition at line 759 of file precedences.h.

◆ NonTrivialUpperBound()

IntegerValue operations_research::sat::Linear2Bounds::NonTrivialUpperBound ( LinearExpression2Index lin2_index) const
inline

Definition at line 868 of file precedences.h.

◆ UpperBound() [1/2]

IntegerValue operations_research::sat::Linear2Bounds::UpperBound ( LinearExpression2 expr) const

Definition at line 1515 of file precedences.cc.

◆ UpperBound() [2/2]

IntegerValue operations_research::sat::Linear2Bounds::UpperBound ( LinearExpression2Index lin2_index) const

Definition at line 1508 of file precedences.cc.

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