enum ThreadState
{
AVAILABLE, // Thread is waiting for work
- WORKISWAITING, // Master has ordered us to start searching
SEARCHING // Thread is performing work
};
Thread& operator[](int threadID) { return threads[threadID]; }
void init();
void exit();
- void init_hash_tables();
bool use_sleeping_threads() const { return useSleepingThreads; }
int min_split_depth() const { return minimumSplitDepth; }