nogoods.hh File Reference
(Revision: 15137)
#include <gecode/search.hh>Go to the source code of this file.
Classes | |
| class | Gecode::Search::Meta::NoNGL |
| Class for a sentinel no-good literal. More... | |
| class | Gecode::Search::Meta::NoGoodsProp |
| No-good propagator. More... | |
Namespaces | |
| namespace | Gecode |
Gecode toplevel namespace | |
| namespace | Gecode::Search |
Search engines | |
| namespace | Gecode::Search::Meta |
Meta search engine implementations | |