operations_research::sat::PushedSolutionPointers Struct Reference

#include <combine_solutions.h>

Public Attributes
std::shared_ptr< const SharedSolutionRepository< int64_t >::Solution >	pushed_solution
std::shared_ptr< const SharedSolutionRepository< int64_t >::Solution >	improved_solution
	nullptr if no improvement was found.

Detailed Description

This is equivalent to calling SharedResponseManager::NewSolution() then, if base_solution is non-empty, trying to find a combined solution and calling SharedResponseManager::NewSolution() again if an improved solution is found.

Definition at line 42 of file combine_solutions.h.

Member Data Documentation

improved_solution

std::shared_ptr<const SharedSolutionRepository<int64_t>::Solution> operations_research::sat::PushedSolutionPointers::improved_solution

nullptr if no improvement was found.

Definition at line 47 of file combine_solutions.h.

pushed_solution

std::shared_ptr<const SharedSolutionRepository<int64_t>::Solution> operations_research::sat::PushedSolutionPointers::pushed_solution

Definition at line 44 of file combine_solutions.h.

---

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

• ortools/sat/combine_solutions.h