
Stop object combining time and failuresa. More...
Public Member Functions | |
| FailTimeStop (unsigned int fail, unsigned int time) | |
| Initialize stop object. | |
| virtual bool | stop (const Search::Statistics &s, const Search::Options &o) |
| Test whether search must be stopped. | |
| bool | fail (const Search::Statistics &s, const Search::Options &o) const |
| Whether the stop was due to failures. | |
| bool | time (const Search::Statistics &s, const Search::Options &o) const |
| Whether the stop was due to time. | |
| ~FailTimeStop (void) | |
| Destructor. | |
Public Member Functions inherited from Gecode::Search::Stop | |
| Stop (void) | |
| Default constructor. | |
| virtual | ~Stop (void) |
| Destructor. | |
Protected Attributes | |
| Search::FailStop * | fs |
| Used fail stop object. | |
| Search::TimeStop * | ts |
| Used time stop object. | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Search::Stop | |
| static Stop * | node (unsigned long int l) |
| Stop if node limit l has been exceeded. | |
| static Stop * | fail (unsigned long int l) |
| Stop if failure limit l has been exceeded. | |
| static Stop * | time (unsigned long int l) |
| Stop if time limit l (in milliseconds) has been exceeded. | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. | |
Stop object combining time and failuresa.
Definition at line 577 of file job-shop.cpp.
|
inline |
Initialize stop object.
Definition at line 583 of file job-shop.cpp.
|
inline |
Destructor.
Definition at line 599 of file job-shop.cpp.
|
inlinevirtual |
Test whether search must be stopped.
Implements Gecode::Search::Stop.
Definition at line 587 of file job-shop.cpp.
|
inline |
Whether the stop was due to failures.
Definition at line 591 of file job-shop.cpp.
|
inline |
Whether the stop was due to time.
Definition at line 595 of file job-shop.cpp.
|
protected |
Used fail stop object.
Definition at line 579 of file job-shop.cpp.
|
protected |
Used time stop object.
Definition at line 580 of file job-shop.cpp.