40 #ifndef __GECODE_SEARCH_SEQ_DEAD_HH__ 41 #define __GECODE_SEARCH_SEQ_DEAD_HH__ 43 namespace Gecode {
namespace Search {
namespace Seq {
46 Engine*
dead(
const Options& o,
const Statistics& stat);
#define GECODE_SEARCH_EXPORT
Engine * dead(const Options &o, const Statistics &stat)
Gecode toplevel namespace