Gecode::BrancherHandle Class Reference
[Programming actors]

Handle for brancher. More...

#include <core.hpp>

Public Member Functions
	BrancherHandle (void)
	Create handle as unitialized.
	BrancherHandle (const Brancher &b)
	Create handle for brancher b.
void	update (Space &home, bool share, BrancherHandle &bh)
	Update during cloning.
unsigned int	id (void) const
	Return brancher id.
bool	operator() (const Space &home) const
	Check whether brancher is still active.
void	kill (Space &home)
	Kill the brancher.

Detailed Description

Handle for brancher.

Supports few operations on a brancher, in particular to kill a brancher.

Definition at line 1157 of file core.hpp.

Gecode::BrancherHandle::BrancherHandle ( void ) [inline]

Create handle as unitialized.

Definition at line 3080 of file core.hpp.

Gecode::BrancherHandle::BrancherHandle ( const Brancher & b ) [inline]

Create handle for brancher b.

Definition at line 3083 of file core.hpp.

void Gecode::BrancherHandle::update	(	Space &	home,
		bool	share,
		BrancherHandle &	bh
	)			`[inline]`

Update during cloning.

Definition at line 3086 of file core.hpp.

unsigned int Gecode::BrancherHandle::id ( void ) const [inline]

Return brancher id.

Definition at line 3090 of file core.hpp.

bool Gecode::BrancherHandle::operator() ( const Space & home ) const [inline]

Check whether brancher is still active.

Definition at line 3094 of file core.hpp.

void Gecode::BrancherHandle::kill ( Space & home ) [inline]

Kill the brancher.

Definition at line 3098 of file core.hpp.

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