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