
#include <gecode/search/seq/dead.hh>Go to the source code of this file.
Classes | |
| class | Gecode::Search::Seq::Dead< Tracer > |
| A dead engine (failed root) More... | |
Namespaces | |
| Gecode::Search | |
| Search engines | |
| Gecode::Search::Seq | |
Functions | |
| Engine * | Gecode::Search::Seq::dead (const Options &o, const Statistics &stat) |