Generated on Thu Nov 2 14:49:38 2006 for Gecode/J by doxygen 1.5.0

Stop-objects for stopping search
[Search engines]

Collaboration diagram for Stop-objects for stopping search:


Detailed Description

Allows to specify various criteria when a search engine should stop exploration.

Only exploration but neither recomputation nor propagation will be interrupted.


Classes

class  org.gecode.FailStop
 Stop-object based on number of failures. More...
class  org.gecode.MemoryStop
 Stop-object based on memory consumption. More...
class  org.gecode.Stop
 Base-class for Stop-object. More...
class  org.gecode.TimeStop
 Stop-object based on time. More...