org.gecode.TimeStop Class Reference
[Stop-objects for stopping search]
Inherits org.gecode.Stop.
Detailed Description
Stop-object based on time.
Definition at line 15 of file TimeStop.java.
Public Member Functions | |
| void | delete () |
| void | swigReleaseOwnership () |
| void | swigTakeOwnership () |
| TimeStop (long l) | |
| Stop if search exceeds l milliseconds (from creation of this object). | |
| long | limit () |
| Return current limit in milliseconds. | |
| void | limit (long l) |
| Set current limit to l milliseconds. | |
| void | reset () |
| Reset time to zero. | |
| boolean | stop (Statistics s) |
| Return true if time limit is exceeded. | |
Protected Member Functions | |
| TimeStop (long cPtr, boolean cMemoryOwn) | |
| void | finalize () |
| void | swigDirectorDisconnect () |
Static Protected Member Functions | |
| static long | getCPtr (TimeStop obj) |
Constructor & Destructor Documentation
| org.gecode.TimeStop.TimeStop | ( | long | cPtr, | |
| boolean | cMemoryOwn | |||
| ) | [protected] |
Definition at line 18 of file TimeStop.java.
| org.gecode.TimeStop.TimeStop | ( | long | l | ) |
Stop if search exceeds l milliseconds (from creation of this object).
Definition at line 55 of file TimeStop.java.
Member Function Documentation
| static long org.gecode.TimeStop.getCPtr | ( | TimeStop | obj | ) | [static, protected] |
Definition at line 23 of file TimeStop.java.
| void org.gecode.TimeStop.finalize | ( | ) | [protected] |
| void org.gecode.TimeStop.delete | ( | ) |
| void org.gecode.TimeStop.swigDirectorDisconnect | ( | ) | [protected] |
| void org.gecode.TimeStop.swigReleaseOwnership | ( | ) |
| void org.gecode.TimeStop.swigTakeOwnership | ( | ) |
| long org.gecode.TimeStop.limit | ( | ) |
| void org.gecode.TimeStop.limit | ( | long | l | ) |
| void org.gecode.TimeStop.reset | ( | ) |
| boolean org.gecode.TimeStop.stop | ( | Statistics | s | ) |
Return true if time limit is exceeded.
Reimplemented from org.gecode.Stop.
Definition at line 72 of file TimeStop.java.
The documentation for this class was generated from the following file:
- org/gecode/TimeStop.java