Stop-objects for stopping search
Functionality by programming task » Programming models » Search engines

## Classes

class | Gecode::Search::Stop
| Base-class for Stop-object. More...
class | Gecode::Search::NodeStop
| Stop-object based on number of nodes More...
class | Gecode::Search::FailStop
| Stop-object based on number of failures More...
class | Gecode::Search::TimeStop
| Stop-object based on time More...

## Detailed Description

Allows to specify various criteria when a search engine should stop exploration. Only exploration but neither recomputation nor propagation will be interrupted.