Search exceptions
[Gecode exceptions]

Classes
class	Gecode::Search::UninitializedCutoff
	Exception: Uninitialized cutoff for restart-based search More...