| org.dgpf.search.api.halt | |||
| ├DefaultHaltParameters.java | 8.316 KB | 2012-05-02 03:11:05 GMT+0000 | |
| ├NeverHaltParameters.java | 2.348 KB | 2012-05-02 03:11:05 GMT+0000 | |
| └package.html | 405 B | 2012-05-02 03:11:05 GMT+0000 |
The search halt parameters define when a search should terminate - find some default halt parameters in here