Gecode::Driver::Cutoff Class Reference
Stop object based on nodes, failures, and time. More...
#include <script.hpp>
Public Member Functions | |
virtual bool | stop (const Search::Statistics &s, const Search::Options &o) |
Test whether search must be stopped. | |
~Cutoff (void) | |
Destructor. | |
Static Public Member Functions | |
static Search::Stop * | create (unsigned int node, unsigned int fail, unsigned int time) |
Create appropriate stop-object. |
Detailed Description
Stop object based on nodes, failures, and time.
Definition at line 48 of file script.hpp.
Constructor & Destructor Documentation
Gecode::Driver::Cutoff::~Cutoff | ( | void | ) | [inline] |
Destructor.
Definition at line 75 of file script.hpp.
Member Function Documentation
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 60 of file script.hpp.
static Search::Stop* Gecode::Driver::Cutoff::create | ( | unsigned int | node, | |
unsigned int | fail, | |||
unsigned int | time | |||
) | [inline, static] |
Create appropriate stop-object.
Definition at line 68 of file script.hpp.
The documentation for this class was generated from the following file:
- gecode/driver/script.hpp (Revision: 9887)