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:

• ortools/sat/util.h