Gecode::Search::Meta Namespace Reference
Meta search engine implementations More...
Classes | |
class | NoNGL |
Class for a sentinel no-good literal. More... | |
class | NoGoodsProp |
No-good propagator. More... | |
class | RestartStop |
Stop-object for restart engine 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. |
Detailed Description
Meta search engine implementations
Function Documentation
NGL* Gecode::Search::Meta::disposenext | ( | NGL * | ngl, | |
Space & | home, | |||
Propagator & | p, | |||
bool | c | |||
) | [inline] |
Help function to cancel and dispose a no-good literal.
Definition at line 44 of file nogoods.cpp.