main page
modules
namespaces
classes
files
Gecode home
Generated on Sat Apr 10 2021 00:00:00 for Gecode by
doxygen
1.9.1
gecode
search
Classes
|
Namespaces
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
Gecode::Search
Search engines