worker.hh File Reference
#include <gecode/search.hh>Go to the source code of this file.
Classes | |
| class | Gecode::Search::Worker |
| Search worker statistics More... | |
Namespaces | |
| namespace | Gecode |
Gecode toplevel namespace | |
| namespace | Gecode::Search |
Search engines | |