examples.FTStop Class Reference
Inherits org.gecode.Stop.Detailed Description
Definition at line 338 of file Options.java.
Public Member Functions | |
| boolean | stop (Statistics s) |
| Stop search, if returns true (can be based on statistics s). | |
Static Public Member Functions | |
| static Stop | create (int fails, int time) |
Member Function Documentation
| boolean examples.FTStop.stop | ( | Statistics | s | ) |
Stop search, if returns true (can be based on statistics s).
Reimplemented from org.gecode.Stop.
Definition at line 345 of file Options.java.
| static Stop examples.FTStop.create | ( | int | fails, | |
| int | time | |||
| ) | [static] |
Definition at line 348 of file Options.java.
The documentation for this class was generated from the following file:
- examples/Options.java (Revision: 3843)