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