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

Detailed Description

Definition at line 598 of file precedences.h.

#include <precedences.h>

Public Member Functions

 Linear2BoundsFromLinear3 (Model *model)
 ~Linear2BoundsFromLinear3 ()
bool AddAffineUpperBound (LinearExpression2Index lin2_index, IntegerValue lin_expr_gcd, AffineExpression affine_ub)
bool AddAffineUpperBound (LinearExpression2 expr, AffineExpression affine_ub)
IntegerValue GetUpperBoundFromLinear3 (LinearExpression2Index lin2_index) const
void AddReasonForUpperBoundLowerThan (LinearExpression2Index lin2_index, IntegerValue ub, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) const

Constructor & Destructor Documentation

◆ Linear2BoundsFromLinear3()

operations_research::sat::Linear2BoundsFromLinear3::Linear2BoundsFromLinear3 ( Model * model)
explicit

Definition at line 1400 of file precedences.cc.

◆ ~Linear2BoundsFromLinear3()

operations_research::sat::Linear2BoundsFromLinear3::~Linear2BoundsFromLinear3 ( )

Definition at line 1409 of file precedences.cc.

Member Function Documentation

◆ AddAffineUpperBound() [1/2]

bool operations_research::sat::Linear2BoundsFromLinear3::AddAffineUpperBound ( LinearExpression2 expr,
AffineExpression affine_ub )
inline

Definition at line 609 of file precedences.h.

◆ AddAffineUpperBound() [2/2]

bool operations_research::sat::Linear2BoundsFromLinear3::AddAffineUpperBound ( LinearExpression2Index lin2_index,
IntegerValue lin_expr_gcd,
AffineExpression affine_ub )

Definition at line 1421 of file precedences.cc.

◆ AddReasonForUpperBoundLowerThan()

void operations_research::sat::Linear2BoundsFromLinear3::AddReasonForUpperBoundLowerThan ( LinearExpression2Index lin2_index,
IntegerValue ub,
std::vector< Literal > * literal_reason,
std::vector< IntegerLiteral > * integer_reason ) const

Definition at line 1476 of file precedences.cc.

◆ GetUpperBoundFromLinear3()

IntegerValue operations_research::sat::Linear2BoundsFromLinear3::GetUpperBoundFromLinear3 ( LinearExpression2Index lin2_index) const

Definition at line 1468 of file precedences.cc.

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