![]() |
OR-Tools
9.6
|
Definition at line 198 of file sat/util.h.
Public Member Functions | |
| MaxBoundedSubsetSum () | |
| MaxBoundedSubsetSum (int64_t bound) | |
| 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 |
|
inline |
Definition at line 200 of file sat/util.h.
|
inlineexplicit |
Definition at line 201 of file sat/util.h.
| void Add | ( | int64_t | value | ) |
Definition at line 433 of file sat/util.cc.
| void AddChoices | ( | absl::Span< const int64_t > | choices | ) |
Definition at line 440 of file sat/util.cc.
| void AddMultiples | ( | int64_t | coeff, |
| int64_t | max_value | ||
| ) |
Definition at line 464 of file sat/util.cc.
|
inline |
Definition at line 222 of file sat/util.h.
|
inline |
Definition at line 220 of file sat/util.h.
| void Reset | ( | int64_t | bound | ) |
Definition at line 424 of file sat/util.cc.