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. | |
| int | reason (const Search::Statistics &s, const Search::Options &o) |
| Report reason why search has been stopped. | |
| ~Cutoff (void) | |
| Destructor. | |
Static Public Member Functions | |
| static Search::Stop * | create (unsigned int node, unsigned int fail, unsigned int time, bool intr) |
| Create appropriate stop-object. | |
| static void | interrupt (int) |
| Handler for catching Ctrl-C. | |
| static void | installCtrlHandler (bool install, bool force=false) |
| Install handler for catching Ctrl-C. | |
Stop object based on nodes, failures, and time.
Definition at line 52 of file script.hpp.
| anonymous enum |
Reason why search has been stopped.
| SR_NODE |
Node limit reached. |
| SR_FAIL |
Fail limit reached. |
| SR_TIME |
Time limit reached. |
| SR_INT |
Interrupted by user. |
Definition at line 68 of file script.hpp.
| Gecode::Driver::Cutoff::~Cutoff | ( | void | ) | [inline] |
Destructor.
Definition at line 128 of file script.hpp.
| virtual bool Gecode::Driver::Cutoff::stop | ( | const Search::Statistics & | s, |
| const Search::Options & | o | ||
| ) | [inline, virtual] |
Test whether search must be stopped.
Implements Gecode::Search::Stop.
Definition at line 75 of file script.hpp.
| int Gecode::Driver::Cutoff::reason | ( | const Search::Statistics & | s, |
| const Search::Options & | o | ||
| ) | [inline] |
Report reason why search has been stopped.
Definition at line 83 of file script.hpp.
| static Search::Stop* Gecode::Driver::Cutoff::create | ( | unsigned int | node, |
| unsigned int | fail, | ||
| unsigned int | time, | ||
| bool | intr | ||
| ) | [inline, static] |
Create appropriate stop-object.
Definition at line 92 of file script.hpp.
| static void Gecode::Driver::Cutoff::interrupt | ( | int | ) | [inline, static] |
Handler for catching Ctrl-C.
Definition at line 112 of file script.hpp.
| static void Gecode::Driver::Cutoff::installCtrlHandler | ( | bool | install, |
| bool | force = false |
||
| ) | [inline, static] |
Install handler for catching Ctrl-C.
Definition at line 118 of file script.hpp.