Generated on Thu Feb 14 2013 20:59:56 for Gecode by doxygen 1.8.3.1
Gecode::Driver::Cutoff Class Reference

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...
 
 ~Cutoff (void)
 Destructor. More...
 
- Public Member Functions inherited from Gecode::Search::Stop
 Stop (void)
 Default constructor. More...
 
virtual ~Stop (void)
 Destructor. More...
 

Static Public Member Functions

static Search::Stopcreate (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...
 

Detailed Description

Stop object based on nodes, failures, and time.

Definition at line 52 of file script.hpp.

Member Enumeration Documentation

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 68 of file script.hpp.

Constructor & Destructor Documentation

Gecode::Driver::Cutoff::~Cutoff ( void  )
inline

Destructor.

Definition at line 128 of file script.hpp.

Member Function Documentation

virtual bool Gecode::Driver::Cutoff::stop ( const Search::Statistics s,
const Search::Options o 
)
inlinevirtual

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 
)
inlinestatic

Create appropriate stop-object.

Definition at line 92 of file script.hpp.

static void Gecode::Driver::Cutoff::interrupt ( int  )
inlinestatic

Handler for catching Ctrl-C.

Definition at line 112 of file script.hpp.

static void Gecode::Driver::Cutoff::installCtrlHandler ( bool  install,
bool  force = false 
)
inlinestatic

Install handler for catching Ctrl-C.

Definition at line 118 of file script.hpp.


The documentation for this class was generated from the following files: