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);
Engine * dead(const Options &o, const Statistics &stat)
#define GECODE_SEARCH_EXPORT