3#ifndef TURBO_CPU_SOLVING_HPP
4#define TURBO_CPU_SOLVING_HPP
9 auto start = std::chrono::high_resolution_clock::now();
14 GaussSeidelIteration fp_engine;
15 local::B has_changed =
true;
21 if(cp.
ipc->is_bot()) {
24 else if(cp.
search_tree->template is_extractable<AtomicExtraction>()) {
25 has_changed |= cp.
bab->deduce();
29 if(must_prune) {
break; }
bool must_quit()
Definition common_solving.hpp:89
void block_signal_ctrlc()
Definition common_solving.hpp:77
bool check_timeout(A &a, const Timepoint &start)
Definition common_solving.hpp:101
void cpu_solve(const Configuration< battery::standard_allocator > &config)
Definition cpu_solving.hpp:8
Definition common_solving.hpp:154
abstract_ptr< IBAB > bab
Definition common_solving.hpp:269
CUDA void print_final_solution()
Definition common_solving.hpp:550
CUDA bool on_solution_node()
Definition common_solving.hpp:539
CUDA bool on_node()
Definition common_solving.hpp:504
abstract_ptr< IPC > ipc
Definition common_solving.hpp:263
abstract_ptr< IST > search_tree
Definition common_solving.hpp:267
CUDA void on_failed_node()
Definition common_solving.hpp:546
void preprocess()
Definition common_solving.hpp:451
Statistics stats
Definition common_solving.hpp:278
CUDA void print_mzn_statistics()
Definition common_solving.hpp:557
size_t fixpoint_iterations
Definition statistics.hpp:27