42 namespace Gecode {
namespace Search {
48 #ifdef GECODE_HAS_THREADS 54 }
else if (t == 0.0) {
static unsigned int npu(void)
Return number of processing units (1 if information not available)
double threads
Number of threads to use.
static const Options def
Default options.
Options expand(void) const
Expand with real number of threads.
Gecode toplevel namespace