BlackHoleBranch Class Reference

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.
virtual Choice *	choice (Space &)
	Return choice.
virtual Choice *	choice (const Space &, Archive &e)
	Return choice.
virtual ExecStatus	commit (Space &home, const Gecode::Choice &_c, unsigned int a)
	Perform commit for choice _c and alternative a.
virtual Actor *	copy (Space &home, bool share)
	Copy brancher.
virtual size_t	dispose (Space &)
	Delete brancher and return its size.

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

Protected Member Functions
	BlackHoleBranch (Home home, ViewArray< Int::IntView > &xv)
	Construct brancher.
	BlackHoleBranch (Space &home, bool share, BlackHoleBranch &b)
	Copy constructor.

Protected Attributes
int	start
	Cache of first unassigned variable.

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

Additional Inherited Members
Private Member Functions inherited from Gecode::Brancher
virtual bool	status (const Space &home) const =0
	Check status of brancher, return true if alternatives left.
virtual const Choice *	choice (Space &home)=0
	Return choice.
virtual const Choice *	choice (const Space &home, Archive &e)=0
	Return choice from e.
virtual ExecStatus	commit (Space &home, const Choice &c, unsigned int a)=0
	Commit for choice c and alternative a.
unsigned int	id (void) const
	Return unsigned brancher id.
	Brancher (Home home)
	Constructor for creation.
	Brancher (Space &home, bool share, Brancher &b)
	Constructor for cloning b.
Private Member Functions inherited from Gecode::Actor
virtual Actor *	copy (Space &home, bool share)=0
	Create copy.
virtual size_t	allocated (void) const
	Report size occupied by additionally datastructures.
virtual size_t	dispose (Space &home)
	Delete actor and return its size.
Static Private Member Functions inherited from Gecode::Actor
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.

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.

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

virtual Choice* BlackHoleBranch::choice ( Space &  )

inlinevirtual

Return choice.

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

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

inlinevirtual

Return choice.

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.

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

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

inlinevirtual

Copy brancher.

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.

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)