BlackHoleBranch Class Reference

Detailed Description

Custom branching for BlackHole that instantiates the variables in lexical order, and chooses the value with the most cards under it.

Definition at line 67 of file black-hole.cc.

Public Member Functions

virtual bool status (const Space *home) const

Check status of branching, return true if alternatives left.

virtual BranchingDesc * description (const Space *home) const

Return branching description.

virtual ExecStatus commit (Space *home, const BranchingDesc *d, unsigned int a)

Commit for branching description d and alternative a.

virtual Actor * copy (Space *home, bool share)

Create copy.

Static Public Member Functions

static void post (Space *home, IntVarArgs x)

Member Function Documentation

virtual bool BlackHoleBranch::status ( const Space * home ) const [inline, virtual]

Check status of branching, return true if alternatives left.
This method is called when Space::status is called, it determines whether to continue branching with this branching or move on to the (possibly) next branching.
Implements Gecode::Branching.
Definition at line 79 of file black-hole.cc.

virtual BranchingDesc* BlackHoleBranch::description ( const Space * home ) const [inline, virtual]

Return branching description.
Note that this method can rely on the fact that it is called immediately after a previous call to status. Hence, it is safe to remember computation from status in order to speed up description.
Implements Gecode::Branching.
Definition at line 95 of file black-hole.cc.

virtual ExecStatus BlackHoleBranch::commit ( Space * home,

const BranchingDesc * d,

unsigned int a

) [inline, virtual]

Commit for branching description d and alternative a.
The current branching in the space home performs a commit from the information provided by the branching description d and the alternative a.
Implements Gecode::Branching.
Definition at line 99 of file black-hole.cc.

virtual Actor* BlackHoleBranch::copy ( Space * home,

bool share

) [inline, virtual]

Create copy.

Implements Gecode::Actor.
Definition at line 107 of file black-hole.cc.

static void BlackHoleBranch::post ( Space * home,

IntVarArgs x

) [inline, static]

Definition at line 110 of file black-hole.cc.

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

examples/black-hole.cc (Revision: 3569)


Public Member Functions
virtual bool	status (const Space *home) const
	Check status of branching, return true if alternatives left.
virtual BranchingDesc *	description (const Space *home) const
	Return branching description.
virtual ExecStatus	commit (Space home, const BranchingDesc d, unsigned int a)
	Commit for branching description d and alternative a.
virtual Actor *	copy (Space *home, bool share)
	Create copy.
Static Public Member Functions
static void	post (Space *home, IntVarArgs x)