dead.hh File Reference

(Revision: 14814)

Go to the source code of this file.

Classes
class	Gecode::Search::Meta::Dead
	A dead engine (failed root). More...
Namespaces
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Search
	Search engines
namespace	Gecode::Search::Meta
	Meta search engine implementations