Generated on Sat Feb 7 2015 02:01:50 for Gecode by doxygen 1.8.9.1
Gecode::Search::Meta Namespace Reference

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

NGLdisposenext (NGL *ngl, Space &home, Propagator &p, bool c)
 Help function to cancel and dispose a no-good literal. More...
 

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.