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

Detailed Description

template<int n>
class operations_research::sat::FirstFewValues< n >

Definition at line 616 of file util.h.

#include <util.h>

Public Member Functions

 FirstFewValues ()
void Reset ()
void Add (const int64_t positive_value)
bool MightBeReachable (int64_t sum) const
int64_t LastValue () const
absl::Span< const int64_t > reachable ()

Constructor & Destructor Documentation

◆ FirstFewValues()

template<int n>
operations_research::sat::FirstFewValues< n >::FirstFewValues ( )
inline

Definition at line 618 of file util.h.

Member Function Documentation

◆ Add()

template<int n>
void operations_research::sat::FirstFewValues< n >::Add ( const int64_t positive_value)
inline

Definition at line 634 of file util.h.

◆ LastValue()

template<int n>
int64_t operations_research::sat::FirstFewValues< n >::LastValue ( ) const
inline

Definition at line 667 of file util.h.

◆ MightBeReachable()

template<int n>
bool operations_research::sat::FirstFewValues< n >::MightBeReachable ( int64_t sum) const
inline

Definition at line 662 of file util.h.

◆ reachable()

template<int n>
absl::Span< const int64_t > operations_research::sat::FirstFewValues< n >::reachable ( )
inline

Definition at line 669 of file util.h.

◆ Reset()

template<int n>
void operations_research::sat::FirstFewValues< n >::Reset ( )
inline

Definition at line 623 of file util.h.


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