Generated on Mon Nov 30 23:53:47 2009 for Gecode by doxygen 1.6.1

Gecode::Driver::Cutoff Class Reference

Stop object based on nodes, failures, and time. More...

#include <script.hpp>

List of all members.

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::Stopcreate (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: