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