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

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.