17 #ifndef OR_TOOLS_SAT_SUBSOLVER_H_
18 #define OR_TOOLS_SAT_SUBSOLVER_H_
29 #if !defined(__PORTABLE_PLATFORM__)
102 std::function<void()> f_;
117 const std::vector<std::unique_ptr<SubSolver>>& subsolvers,
int num_threads);
130 const std::vector<std::unique_ptr<SubSolver>>& subsolvers,
int num_threads,
137 void SequentialLoop(
const std::vector<std::unique_ptr<SubSolver>>& subsolvers);
virtual bool TaskIsAvailable()=0
double deterministic_time_
SubSolver(const std::string &name)
virtual void Synchronize()=0
double deterministic_time() const
virtual std::function< void()> GenerateTask(int64 task_id)=0
SynchronizationPoint(std::function< void()> f)
bool TaskIsAvailable() final
std::function< void()> GenerateTask(int64 task_id) final
void DeterministicLoop(const std::vector< std::unique_ptr< SubSolver >> &subsolvers, int num_threads, int batch_size)
void NonDeterministicLoop(const std::vector< std::unique_ptr< SubSolver >> &subsolvers, int num_threads)
void SequentialLoop(const std::vector< std::unique_ptr< SubSolver >> &subsolvers)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...