operations_research::sat::SharedSolutionRepository< ValueType >::Solution Struct Reference

The solution format used by this class. More...

#include <synchronization.h>

Public Member Functions
bool	operator== (const Solution &other) const
bool	operator< (const Solution &other) const

Public Attributes
int64_t	rank = 0
std::vector< ValueType >	variable_values
std::string	info
int	num_selected = 0

Detailed Description

template<typename ValueType>
struct operations_research::sat::SharedSolutionRepository< ValueType >::Solution

The solution format used by this class.

Definition at line 65 of file synchronization.h.

Member Function Documentation

operator<()

template<typename ValueType >

bool operations_research::sat::SharedSolutionRepository< ValueType >::Solution::operator< ( const Solution & other ) const

inline

Definition at line 87 of file synchronization.h.

operator==()

template<typename ValueType >

bool operations_research::sat::SharedSolutionRepository< ValueType >::Solution::operator== ( const Solution & other ) const

inline

Definition at line 84 of file synchronization.h.

Member Data Documentation

info

template<typename ValueType >

std::string operations_research::sat::SharedSolutionRepository< ValueType >::Solution::info

Definition at line 76 of file synchronization.h.

num_selected

template<typename ValueType >

int operations_research::sat::SharedSolutionRepository< ValueType >::Solution::num_selected = 0

mutable

Number of time this was returned by GetRandomBiasedSolution(). We use this information during the selection process.

Should be private: only SharedSolutionRepository should modify this.

Definition at line 82 of file synchronization.h.

rank

template<typename ValueType >

int64_t operations_research::sat::SharedSolutionRepository< ValueType >::Solution::rank = 0

Solution with lower "rank" will be preferred

Todo

(user): Some LNS code assume that for the SharedSolutionRepository this rank is actually the unscaled internal minimization objective. Remove this assumptions by simply recomputing this value since it is not too costly to do so.

Definition at line 72 of file synchronization.h.

variable_values

template<typename ValueType >

std::vector<ValueType> operations_research::sat::SharedSolutionRepository< ValueType >::Solution::variable_values

Definition at line 74 of file synchronization.h.

---

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

• ortools/sat/synchronization.h