Lines Matching defs:num_threads
83 num_threads = 1;345 int num_threads;591 // Solver::Options::num_threads to the maximum number possible is