Generated on Tue Jan 27 2015 01:23:31 for Gecode by doxygen 1.8.6
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  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.