Cambridge SMT System
|
Convenience wrapper class that can kick off three type of executions: singlethreaded, multithreaded, or server, triggered by program options. Possibly multithreading with 1 thread would do, but I keep both implementations as any plain bug that might arise will be easier to trace down with a single thread execution. The class is templated three functors, one for each type of execution Note that the details are up to the each of these functors. More...
#include <multithreading.helpers.hpp>
Public Member Functions | |
Runner3 (const RegistryPO &rg) | |
Constructor. More... | |
void | operator() () |
Either runs with multithreading or single-thread option. More... | |
Convenience wrapper class that can kick off three type of executions: singlethreaded, multithreaded, or server, triggered by program options. Possibly multithreading with 1 thread would do, but I keep both implementations as any plain bug that might arise will be easier to trace down with a single thread execution. The class is templated three functors, one for each type of execution Note that the details are up to the each of these functors.
Definition at line 130 of file multithreading.helpers.hpp.
|
inline |
Constructor.
rg | Registry object containing parameters |
Definition at line 144 of file multithreading.helpers.hpp.
|
inline |
Either runs with multithreading or single-thread option.
Definition at line 160 of file multithreading.helpers.hpp.