#include <synchronization.h>

Public Member Functions
void	AddSolution (const std::vector< double > &lp_solution)

bool	HasSolution () const

std::vector< double >	PopLast ()
	If there are no solution, this return an empty vector.

std::vector< std::string >	TableLineStats () const

Detailed Description

Set of partly filled solutions. They are meant to be finished by some lns worker.

The solutions are stored as a vector of doubles. The value at index i represents the solution value of model variable indexed i. Note that some values can be infinity which should be interpreted as 'unknown' solution value for that variable. These solutions can not necessarily be completed to complete feasible solutions.

Definition at line 167 of file synchronization.h.

Member Function Documentation

◆ AddSolution()

void operations_research::sat::SharedIncompleteSolutionManager::AddSolution ( const std::vector< double > & lp_solution )

This adds a new solution to the stack.

Note: we keep the last 100 ones at most.

Definition at line 90 of file synchronization.cc.

◆ HasSolution()

bool operations_research::sat::SharedIncompleteSolutionManager::HasSolution ( ) const

Definition at line 98 of file synchronization.cc.

◆ PopLast()

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

If there are no solution, this return an empty vector.

Definition at line 103 of file synchronization.cc.

◆ TableLineStats()

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

inline

Definition at line 178 of file synchronization.h.

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