Custom brancher for black hole patience. More...

Classes
class	Choice
	Choice for black hole brancher More...

Public Member Functions
virtual bool	status (const Space &) const
	Check status of brancher, return true if alternatives left. More...

virtual Choice *	choice (Space &)
	Return choice. More...

virtual Choice *	choice (const Space &, Archive &e)
	Return choice. More...

virtual ExecStatus	commit (Space &home, const Gecode::Choice &_c, unsigned int a)
	Perform commit for choice _c and alternative a. More...

virtual Actor *	copy (Space &home, bool share)
	Copy brancher. More...

virtual size_t	dispose (Space &)
	Delete brancher and return its size. More...

Static Public Member Functions
static void	post (Home home, IntVarArgs x)
	Post brancher. More...

Protected Member Functions
	BlackHoleBranch (Home home, ViewArray< Int::IntView > &xv)
	Construct brancher. More...

	BlackHoleBranch (Space &home, bool share, BlackHoleBranch &b)
	Copy constructor. More...

Protected Attributes
int	start
	Cache of first unassigned variable. More...

Static Protected Attributes
ViewArray< Int::IntView >	x
	Views of the brancher. More...

Additional Inherited Members
Private Member Functions inherited from Gecode::Brancher
unsigned int	id (void) const
	Return unsigned brancher id. More...

	Brancher (Home home)
	Constructor for creation. More...

	Brancher (Space &home, bool share, Brancher &b)
	Constructor for cloning b. More...

Private Member Functions inherited from Gecode::Actor
virtual size_t	allocated (void) const
	Report size occupied by additionally datastructures. More...

Static Private Member Functions inherited from Gecode::Actor
static void *	operator new (size_t s, Space &home)
	Allocate memory from space. More...

static void	operator delete (void *p, Space &home)
	No-op for exceptions. More...

Detailed Description

Custom brancher for black hole patience.

This class implements a custom brancher for BlackHole that instantiates the variables in lexical order, and chooses the value with the most cards under it.

Definition at line 98 of file black-hole.cpp.

Constructor & Destructor Documentation

BlackHoleBranch::BlackHoleBranch	(	Home	home,
		ViewArray< Int::IntView > &	xv
	)

inlineprotected

Construct brancher.

Definition at line 128 of file black-hole.cpp.

BlackHoleBranch::BlackHoleBranch	(	Space &	home,
		bool	share,
		BlackHoleBranch &	b
	)

inlineprotected

Copy constructor.

Definition at line 131 of file black-hole.cpp.

Member Function Documentation

virtual bool BlackHoleBranch::status ( const Space & ) const

inlinevirtual

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 138 of file black-hole.cpp.

virtual Choice* BlackHoleBranch::choice ( Space & )

inlinevirtual

Return choice.

Implements Gecode::Brancher.

Definition at line 148 of file black-hole.cpp.

virtual Choice* BlackHoleBranch::choice	(	const Space &	,
		Archive &	e
	)

inlinevirtual

Return choice.

Implements Gecode::Brancher.

Definition at line 161 of file black-hole.cpp.

virtual ExecStatus BlackHoleBranch::commit	(	Space &	home,
		const Gecode::Choice &	_c,
		unsigned int	a
	)

inlinevirtual

Perform commit for choice _c and alternative a.

Implements Gecode::Brancher.

Definition at line 167 of file black-hole.cpp.

virtual Actor* BlackHoleBranch::copy	(	Space &	home,
		bool	share
	)

inlinevirtual

Copy brancher.

Implements Gecode::Actor.

Definition at line 176 of file black-hole.cpp.

static void BlackHoleBranch::post	(	Home	home,
		IntVarArgs	x
	)

inlinestatic

Post brancher.

Definition at line 180 of file black-hole.cpp.

virtual size_t BlackHoleBranch::dispose ( Space & )

inlinevirtual

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

Definition at line 185 of file black-hole.cpp.

Member Data Documentation

ViewArray<Int::IntView> BlackHoleBranch::x

staticprotected

Views of the brancher.

Definition at line 101 of file black-hole.cpp.

int BlackHoleBranch::start

mutableprotected

Cache of first unassigned variable.

Definition at line 103 of file black-hole.cpp.

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

examples/black-hole.cpp (Revision: 12001)

Classes

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Static Protected Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation