Gecode::Driver::CombinedStop Class Reference

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

#include <script.hpp>

List of all members.

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.
	~CombinedStop (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.

---

Detailed Description

Stop object based on nodes, failures, and time.

Definition at line 50 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 66 of file script.hpp.

---

Constructor & Destructor Documentation

Gecode::Driver::CombinedStop::~CombinedStop

(

void

)

[inline]

Destructor.

Definition at line 126 of file script.hpp.

---

Member Function Documentation

virtual bool Gecode::Driver::CombinedStop::stop	(	const Search::Statistics &	s,
		const Search::Options &	o
	)			[inline, virtual]

Test whether search must be stopped.

Implements Gecode::Search::Stop.

Definition at line 73 of file script.hpp.

int Gecode::Driver::CombinedStop::reason	(	const Search::Statistics &	s,
		const Search::Options &	o
	)			[inline]

Report reason why search has been stopped.

Definition at line 81 of file script.hpp.

static Search::Stop* Gecode::Driver::CombinedStop::create	(	unsigned int	node,
		unsigned int	fail,
		unsigned int	time,
		bool	intr
	)			[inline, static]

Create appropriate stop-object.

Definition at line 90 of file script.hpp.

static void Gecode::Driver::CombinedStop::interrupt

(

int

)

[inline, static]

Handler for catching Ctrl-C.

Definition at line 110 of file script.hpp.

static void Gecode::Driver::CombinedStop::installCtrlHandler	(	bool	install,
		bool	force = false
	)			[inline, static]

Install handler for catching Ctrl-C.

Definition at line 116 of file script.hpp.

---

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

• gecode/driver/script.hpp
• gecode/driver/script.cpp