
Meta search engine implementations More...
Classes | |
| class | NoGoodsProp |
| No-good propagator. More... | |
| class | NoNGL |
| Class for a sentinel no-good literal. More... | |
| class | RBS |
| Engine for restart-based search. More... | |
| class | RestartStop |
| Stop-object for restart engine More... | |
Functions | |
| NGL * | disposenext (NGL *ngl, Space &home, Propagator &p, bool c) |
| Help function to cancel and dispose a no-good literal. More... | |
Meta search engine implementations
|
inline |
Help function to cancel and dispose a no-good literal.
Definition at line 44 of file nogoods.cpp.