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... | |
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.