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

Keep the best min outgoing/incoming flow out of a subset. More...

Detailed Description

Keep the best min outgoing/incoming flow out of a subset.

Definition at line 364 of file routing_cuts.h.

#include <routing_cuts.h>

Public Member Functions

 BestBoundHelper ()=default
 BestBoundHelper (std::string base_name)
void Update (int new_bound, std::string name, absl::Span< const int > cannot_be_first={}, absl::Span< const int > cannot_be_last={})
std::string name () const
int bound () const
absl::Span< const int > CannotBeLast () const
absl::Span< const int > CannotBeFirst () const

Constructor & Destructor Documentation

◆ BestBoundHelper() [1/2]

operations_research::sat::BestBoundHelper::BestBoundHelper ( )
default

◆ BestBoundHelper() [2/2]

operations_research::sat::BestBoundHelper::BestBoundHelper ( std::string base_name)
inlineexplicit

Definition at line 367 of file routing_cuts.h.

Member Function Documentation

◆ bound()

int operations_research::sat::BestBoundHelper::bound ( ) const
inline

Definition at line 388 of file routing_cuts.h.

◆ CannotBeFirst()

absl::Span< const int > operations_research::sat::BestBoundHelper::CannotBeFirst ( ) const
inline

Definition at line 395 of file routing_cuts.h.

◆ CannotBeLast()

absl::Span< const int > operations_research::sat::BestBoundHelper::CannotBeLast ( ) const
inline

To serve the current subset with bound() num vehicles, one cannot exit the subset with nodes in CannotBeLast() and one cannot enter the subset with node in CannotBeFirst(). Moreover, one cannot enter from or leave to nodes in OutsideNodeThatCannotBeConnected().

Definition at line 394 of file routing_cuts.h.

◆ name()

std::string operations_research::sat::BestBoundHelper::name ( ) const
inline

Definition at line 387 of file routing_cuts.h.

◆ Update()

void operations_research::sat::BestBoundHelper::Update ( int new_bound,
std::string name,
absl::Span< const int > cannot_be_first = {},
absl::Span< const int > cannot_be_last = {} )
inline

Definition at line 369 of file routing_cuts.h.


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