org.gecode.FailStop Class Reference
[Stop-objects for stopping search]
Inherits org.gecode.Stop.
Detailed Description
Stop-object based on number of failures.The number of failures reported (by the statistics) is the number since the engine started exploration. It is not the number since the last stop!
Definition at line 19 of file FailStop.java.
Public Member Functions | |
| void | delete () |
| void | swigReleaseOwnership () |
| void | swigTakeOwnership () |
| FailStop (long l) | |
| Stop if failure limit l is exceeded. | |
| long | limit () |
| Return current limit. | |
| void | limit (long l) |
| Set current limit to l failures. | |
| boolean | stop (Statistics s) |
| Return true if failure limit is exceeded. | |
Protected Member Functions | |
| FailStop (long cPtr, boolean cMemoryOwn) | |
| void | finalize () |
| void | swigDirectorDisconnect () |
Static Protected Member Functions | |
| static long | getCPtr (FailStop obj) |
Constructor & Destructor Documentation
| org.gecode.FailStop.FailStop | ( | long | cPtr, | |
| boolean | cMemoryOwn | |||
| ) | [protected] |
Definition at line 22 of file FailStop.java.
| org.gecode.FailStop.FailStop | ( | long | l | ) |
Member Function Documentation
| static long org.gecode.FailStop.getCPtr | ( | FailStop | obj | ) | [static, protected] |
Definition at line 27 of file FailStop.java.
| void org.gecode.FailStop.finalize | ( | ) | [protected] |
| void org.gecode.FailStop.delete | ( | ) |
| void org.gecode.FailStop.swigDirectorDisconnect | ( | ) | [protected] |
| void org.gecode.FailStop.swigReleaseOwnership | ( | ) |
| void org.gecode.FailStop.swigTakeOwnership | ( | ) |
| long org.gecode.FailStop.limit | ( | ) |
| void org.gecode.FailStop.limit | ( | long | l | ) |
| boolean org.gecode.FailStop.stop | ( | Statistics | s | ) |
Return true if failure limit is exceeded.
Reimplemented from org.gecode.Stop.
Definition at line 72 of file FailStop.java.
The documentation for this class was generated from the following file:
- org/gecode/FailStop.java