subsolver.h File Reference

#include <algorithm>
#include <cmath>
#include <cstdint>
#include <functional>
#include <memory>
#include <string>
#include <utility>
#include <vector>
#include "absl/strings/string_view.h"
#include "ortools/base/types.h"
#include "ortools/util/stats.h"
#include "ortools/base/threadpool.h"

Go to the source code of this file.

Classes
class	operations_research::sat::SubSolver
class	operations_research::sat::SynchronizationPoint
	A simple wrapper to add a synchronization point in the list of subsolvers. More...

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.
namespace	operations_research::sat

Functions
void	operations_research::sat::NonDeterministicLoop (std::vector< std::unique_ptr< SubSolver > > &subsolvers, const int num_threads)
void	operations_research::sat::DeterministicLoop (std::vector< std::unique_ptr< SubSolver > > &subsolvers, int num_threads, int batch_size, int max_num_batches)
void	operations_research::sat::SequentialLoop (std::vector< std::unique_ptr< SubSolver > > &subsolvers)