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

Detailed Description

Definition at line 566 of file util.h.

#include <util.h>

Public Member Functions

 MaxBoundedSubsetSum ()
 MaxBoundedSubsetSum (int64_t bound, int max_complexity_per_add=50)
void Reset (int64_t bound)
void Add (int64_t value)
void AddChoices (absl::Span< const int64_t > choices)
void AddMultiples (int64_t coeff, int64_t max_value)
int64_t CurrentMax () const
int64_t Bound () const

Constructor & Destructor Documentation

◆ MaxBoundedSubsetSum() [1/2]

operations_research::sat::MaxBoundedSubsetSum::MaxBoundedSubsetSum ( )
inline

Definition at line 568 of file util.h.

◆ MaxBoundedSubsetSum() [2/2]

operations_research::sat::MaxBoundedSubsetSum::MaxBoundedSubsetSum ( int64_t bound,
int max_complexity_per_add = 50 )
inlineexplicit

Definition at line 569 of file util.h.

Member Function Documentation

◆ Add()

void operations_research::sat::MaxBoundedSubsetSum::Add ( int64_t value)

Definition at line 496 of file util.cc.

◆ AddChoices()

void operations_research::sat::MaxBoundedSubsetSum::AddChoices ( absl::Span< const int64_t > choices)

Definition at line 503 of file util.cc.

◆ AddMultiples()

void operations_research::sat::MaxBoundedSubsetSum::AddMultiples ( int64_t coeff,
int64_t max_value )

Definition at line 527 of file util.cc.

◆ Bound()

int64_t operations_research::sat::MaxBoundedSubsetSum::Bound ( ) const
inline

Definition at line 593 of file util.h.

◆ CurrentMax()

int64_t operations_research::sat::MaxBoundedSubsetSum::CurrentMax ( ) const
inline

Definition at line 591 of file util.h.

◆ Reset()

void operations_research::sat::MaxBoundedSubsetSum::Reset ( int64_t bound)

Definition at line 487 of file util.cc.

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