36 #ifndef __GECODE_SEARCH_SEQ_DEAD_HH__ 37 #define __GECODE_SEARCH_SEQ_DEAD_HH__ 39 namespace Gecode {
namespace Search {
namespace Seq {
42 Engine*
dead(
const Options& o,
const Statistics& stat);
#define GECODE_SEARCH_EXPORT
Engine * dead(const Options &o, const Statistics &stat)
Gecode toplevel namespace