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

Detailed Description

Definition at line 180 of file precedences.h.

#include <precedences.h>

Public Member Functions

 RootLevelLinear2Bounds (Model *model)
 ~RootLevelLinear2Bounds ()
std::pair< bool, bool > Add (LinearExpression2 expr, IntegerValue lb, IntegerValue ub)
bool AddUpperBound (LinearExpression2 expr, IntegerValue ub)
bool AddLowerBound (LinearExpression2 expr, IntegerValue lb)
bool AddLowerBound (LinearExpression2Index index, IntegerValue lb)
bool AddUpperBound (LinearExpression2Index index, IntegerValue ub)
IntegerValue LevelZeroUpperBound (LinearExpression2 expr) const
IntegerValue LevelZeroUpperBound (LinearExpression2Index index) const
std::vector< std::pair< LinearExpression2, IntegerValue > > GetSortedNonTrivialUpperBounds () const
std::vector< std::tuple< LinearExpression2, IntegerValue, IntegerValue > > GetAllBoundsContainingVariable (IntegerVariable var) const
std::vector< std::tuple< LinearExpression2, IntegerValue, IntegerValue > > GetAllBoundsContainingVariables (IntegerVariable var1, IntegerVariable var2) const
absl::Span< const std::pair< IntegerVariable, LinearExpression2Index > > GetVariablesInSimpleRelation (IntegerVariable var) const
int AugmentSimpleRelations (IntegerVariable var, int work_limit)
RelationStatus GetLevelZeroStatus (LinearExpression2 expr, IntegerValue lb, IntegerValue ub) const
IntegerValue GetUpperBoundNoTrail (LinearExpression2Index index) const
int64_t num_updates () const

Constructor & Destructor Documentation

◆ RootLevelLinear2Bounds()

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

Definition at line 182 of file precedences.h.

◆ ~RootLevelLinear2Bounds()

operations_research::sat::RootLevelLinear2Bounds::~RootLevelLinear2Bounds ( )

Definition at line 202 of file precedences.cc.

Member Function Documentation

◆ Add()

std::pair< bool, bool > operations_research::sat::RootLevelLinear2Bounds::Add ( LinearExpression2 expr,
IntegerValue lb,
IntegerValue ub )
inline

Definition at line 200 of file precedences.h.

◆ AddLowerBound() [1/2]

bool operations_research::sat::RootLevelLinear2Bounds::AddLowerBound ( LinearExpression2 expr,
IntegerValue lb )
inline

Definition at line 227 of file precedences.h.

◆ AddLowerBound() [2/2]

bool operations_research::sat::RootLevelLinear2Bounds::AddLowerBound ( LinearExpression2Index index,
IntegerValue lb )
inline

Definition at line 232 of file precedences.h.

◆ AddUpperBound() [1/2]

bool operations_research::sat::RootLevelLinear2Bounds::AddUpperBound ( LinearExpression2 expr,
IntegerValue ub )
inline

Definition at line 218 of file precedences.h.

◆ AddUpperBound() [2/2]

bool operations_research::sat::RootLevelLinear2Bounds::AddUpperBound ( LinearExpression2Index index,
IntegerValue ub )

Definition at line 108 of file precedences.cc.

◆ AugmentSimpleRelations()

int operations_research::sat::RootLevelLinear2Bounds::AugmentSimpleRelations ( IntegerVariable var,
int work_limit )

Definition at line 178 of file precedences.cc.

◆ GetAllBoundsContainingVariable()

std::vector< std::tuple< LinearExpression2, IntegerValue, IntegerValue > > operations_research::sat::RootLevelLinear2Bounds::GetAllBoundsContainingVariable ( IntegerVariable var) const

Definition at line 264 of file precedences.cc.

◆ GetAllBoundsContainingVariables()

std::vector< std::tuple< LinearExpression2, IntegerValue, IntegerValue > > operations_research::sat::RootLevelLinear2Bounds::GetAllBoundsContainingVariables ( IntegerVariable var1,
IntegerVariable var2 ) const

Definition at line 299 of file precedences.cc.

◆ GetLevelZeroStatus()

RelationStatus operations_research::sat::RootLevelLinear2Bounds::GetLevelZeroStatus ( LinearExpression2 expr,
IntegerValue lb,
IntegerValue ub ) const

Definition at line 209 of file precedences.cc.

◆ GetSortedNonTrivialUpperBounds()

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

Definition at line 248 of file precedences.cc.

◆ GetUpperBoundNoTrail()

IntegerValue operations_research::sat::RootLevelLinear2Bounds::GetUpperBoundNoTrail ( LinearExpression2Index index) const

Definition at line 239 of file precedences.cc.

◆ GetVariablesInSimpleRelation()

absl::Span< const std::pair< IntegerVariable, LinearExpression2Index > > operations_research::sat::RootLevelLinear2Bounds::GetVariablesInSimpleRelation ( IntegerVariable var) const

Definition at line 335 of file precedences.cc.

◆ LevelZeroUpperBound() [1/2]

IntegerValue operations_research::sat::RootLevelLinear2Bounds::LevelZeroUpperBound ( LinearExpression2 expr) const
inline

Definition at line 239 of file precedences.h.

◆ LevelZeroUpperBound() [2/2]

IntegerValue operations_research::sat::RootLevelLinear2Bounds::LevelZeroUpperBound ( LinearExpression2Index index) const
inline

Definition at line 252 of file precedences.h.

◆ num_updates()

int64_t operations_research::sat::RootLevelLinear2Bounds::num_updates ( ) const
inline

Definition at line 305 of file precedences.h.

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