restart.icc File Reference
(Revision: 3142)
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
Functions | |
| template<class T> | |
| T * | Gecode::restart (T *s, unsigned int c_d=Search::Config::c_d, unsigned int a_d=Search::Config::a_d, Search::Stop *st=NULL) |
| Perform depth-first restart best solution search. | |