operations_research::sat::SharedIncompleteSolutionManager Class Reference

Detailed Description

Definition at line 335 of file synchronization.h.

#include <synchronization.h>

Public Member Functions
void	AddSolution (const std::vector< double > &lp_solution)
bool	HasSolution () const
std::vector< double >	PopLast ()
std::vector< std::string >	TableLineStats () const

Member Function Documentation

AddSolution()

void operations_research::sat::SharedIncompleteSolutionManager::AddSolution

(

const std::vector< double > &

lp_solution

)

Definition at line 238 of file synchronization.cc.

HasSolution()

bool operations_research::sat::SharedIncompleteSolutionManager::HasSolution

(

)

const

Definition at line 246 of file synchronization.cc.

PopLast()

std::vector< double > operations_research::sat::SharedIncompleteSolutionManager::PopLast

(

)

Definition at line 251 of file synchronization.cc.

TableLineStats()

std::vector< std::string > operations_research::sat::SharedIncompleteSolutionManager::TableLineStats ( ) const

inline

Definition at line 346 of file synchronization.h.

---

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

• ortools/sat/synchronization.h
• ortools/sat/synchronization.cc