Stop object based on nodes, failures, and time. More...
#include <script.hpp>
Public Types | |
enum | { SR_NODE = 1 << 0, SR_FAIL = 1 << 1, SR_TIME = 1 << 2, SR_INT = 1 << 3 } |
Reason why search has been stopped. More... | |
Public Member Functions | |
virtual bool | stop (const Search::Statistics &s, const Search::Options &o) |
Test whether search must be stopped. More... | |
int | reason (const Search::Statistics &s, const Search::Options &o) |
Report reason why search has been stopped. More... | |
~CombinedStop (void) | |
Destructor. More... | |
![]() | |
Stop (void) | |
Default constructor. More... | |
virtual | ~Stop (void) |
Destructor. More... | |
Static Public Member Functions | |
static Search::Stop * | create (unsigned int node, unsigned int fail, unsigned int time, bool intr) |
Create appropriate stop-object. More... | |
static void | interrupt (int) |
Handler for catching Ctrl-C. More... | |
static void | installCtrlHandler (bool install, bool force=false) |
Install handler for catching Ctrl-C. More... | |
![]() | |
static void * | operator new (size_t s) |
Allocate memory from heap. More... | |
static void | operator delete (void *p) |
Free memory allocated from heap. More... | |
Stop object based on nodes, failures, and time.
Definition at line 54 of file script.hpp.
anonymous enum |
Reason why search has been stopped.
Enumerator | |
---|---|
SR_NODE |
Node limit reached. |
SR_FAIL |
Fail limit reached. |
SR_TIME |
Time limit reached. |
SR_INT |
Interrupted by user. |
Definition at line 70 of file script.hpp.
|
inline |
Destructor.
Definition at line 130 of file script.hpp.
|
inlinevirtual |
Test whether search must be stopped.
Implements Gecode::Search::Stop.
Definition at line 77 of file script.hpp.
|
inline |
Report reason why search has been stopped.
Definition at line 85 of file script.hpp.
|
inlinestatic |
Create appropriate stop-object.
Definition at line 94 of file script.hpp.
|
inlinestatic |
Handler for catching Ctrl-C.
Definition at line 114 of file script.hpp.
|
inlinestatic |
Install handler for catching Ctrl-C.
Definition at line 120 of file script.hpp.