Gecode::Search::Worker Class Reference

Search worker control including memory information More...

#include <worker.hh>

List of all members.

Public Member Functions
	Worker (size_t sz)
	Initialize with space size sz.
void	start (void)
	Reset stop information.
bool	stop (const Options &o, size_t sz)
	Check whether engine must be stopped (with additional stackspace sz).
bool	stopped (void) const
	Check whether engine has been stopped.
void	push (const Space *s, const Choice *c)
	New space s and choice c get pushed on stack.
void	constrained (const Space *s1, const Space *s2)
	Space s1 is replaced by space s2 due to constraining.
void	adapt (const Space *s)
	New space s is added for adaptive recomputation.
void	pop (const Space *s, const Choice *c)
	Space s and choice c get popped from stack.
void	lao (const Space *s)
	Space s gets used for LAO (removed from stack).
void	current (const Space *s)
	Space s becomes current space (s = NULL: current space deleted).
void	reset (const Space *s, unsigned long int d=0)
	Reset statistics for space s with root depth d.
void	reset (void)
	Reset statistics for failed space.
void	stack_depth (unsigned long int d)
	Record stack depth d.
unsigned long int	steal_depth (unsigned long int d) const
	Return steal depth.
Protected Attributes
bool	_stopped
	Whether engine has been stopped.
size_t	mem_space
	Memory required for a single space.
size_t	mem_cur
	Memory for the current space (including memory for caching).
size_t	mem_total
	Current total memory.
unsigned long int	root_depth
	Depth of root node (for work stealing).

---

Detailed Description

Search worker control including memory information

Definition at line 48 of file worker.hh.

---

Constructor & Destructor Documentation

Gecode::Search::Worker::Worker

(

size_t

sz

)

[inline]

Initialize with space size sz.

Definition at line 94 of file worker.hh.

---

Member Function Documentation

void Gecode::Search::Worker::start

(

void

)

[inline]

Reset stop information.

Definition at line 101 of file worker.hh.

bool Gecode::Search::Worker::stop	(	const Options &	o,
		size_t	sz
	)			[inline]

Check whether engine must be stopped (with additional stackspace sz).

Definition at line 106 of file worker.hh.

bool Gecode::Search::Worker::stopped

(

void

)

const [inline]

Check whether engine has been stopped.

Definition at line 116 of file worker.hh.

void Gecode::Search::Worker::push	(	const Space *	s,
		const Choice *	c
	)			[inline]

New space s and choice c get pushed on stack.

Definition at line 121 of file worker.hh.

void Gecode::Search::Worker::constrained	(	const Space *	s1,
		const Space *	s2
	)			[inline]

Space s1 is replaced by space s2 due to constraining.

Definition at line 137 of file worker.hh.

void Gecode::Search::Worker::adapt

(

const Space *

s

)

[inline]

New space s is added for adaptive recomputation.

Definition at line 130 of file worker.hh.

void Gecode::Search::Worker::pop	(	const Space *	s,
		const Choice *	c
	)			[inline]

Space s and choice c get popped from stack.

Definition at line 150 of file worker.hh.

void Gecode::Search::Worker::lao

(

const Space *

s

)

[inline]

Space s gets used for LAO (removed from stack).

Definition at line 145 of file worker.hh.

void Gecode::Search::Worker::current

(

const Space *

s

)

[inline]

Space s becomes current space (s = NULL: current space deleted).

Definition at line 157 of file worker.hh.

void Gecode::Search::Worker::reset	(	const Space *	s,
		unsigned long int	d = 0
	)			[inline]

Reset statistics for space s with root depth d.

Definition at line 170 of file worker.hh.

void Gecode::Search::Worker::reset

(

void

)

[inline]

Reset statistics for failed space.

Reimplemented from Gecode::Search::Statistics.

Definition at line 181 of file worker.hh.

void Gecode::Search::Worker::stack_depth

(

unsigned long int

d

)

[inline]

Record stack depth d.

Definition at line 188 of file worker.hh.

unsigned long int Gecode::Search::Worker::steal_depth

(

unsigned long int

d

)

const [inline]

Return steal depth.

Definition at line 194 of file worker.hh.

---

Member Data Documentation

bool Gecode::Search::Worker::_stopped [protected]

Whether engine has been stopped.

Definition at line 51 of file worker.hh.

size_t Gecode::Search::Worker::mem_space [protected]

Memory required for a single space.

Definition at line 53 of file worker.hh.

size_t Gecode::Search::Worker::mem_cur [protected]

Memory for the current space (including memory for caching).

Definition at line 55 of file worker.hh.

size_t Gecode::Search::Worker::mem_total [protected]

Current total memory.

Definition at line 57 of file worker.hh.

unsigned long int Gecode::Search::Worker::root_depth [protected]

Depth of root node (for work stealing).

Definition at line 59 of file worker.hh.

---

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

• gecode/search/worker.hh (Revision: 9628)