dead.hh File Reference
#include <gecode/search.hh>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Search |
Search engines | |
namespace | Gecode::Search::Seq |
Functions | |
Engine * | Gecode::Search::Seq::dead (const Options &o, const Statistics &stat) |