Generated on Sat Feb 12 2011 17:41:13 for Gecode by doxygen 1.7.3

BlackHoleBranch Class Reference

Custom brancher for black hole patience. More...

List of all members.

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 Choicechoice (Space &)
 Return choice.
virtual ExecStatus commit (Space &home, const Gecode::Choice &_c, unsigned int a)
 Perform commit for choice _c and alternative a.
virtual Actorcopy (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

ViewArray< Int::IntViewx
 Views of the brancher.
int start
 Cache of first unassigned variable.

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 
) [inline, protected]

Construct brancher.

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

BlackHoleBranch::BlackHoleBranch ( Space home,
bool  share,
BlackHoleBranch b 
) [inline, protected]

Copy constructor.

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


Member Function Documentation

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

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

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

virtual Choice* BlackHoleBranch::choice ( Space ) [inline, virtual]

Return choice.

Implements Gecode::Brancher.

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

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

Perform commit for choice _c and alternative a.

Implements Gecode::Brancher.

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

virtual Actor* BlackHoleBranch::copy ( Space home,
bool  share 
) [inline, virtual]

Copy brancher.

Implements Gecode::Actor.

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

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

Post brancher.

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

virtual size_t BlackHoleBranch::dispose ( Space ) [inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

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


Member Data Documentation

Views of the brancher.

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

int BlackHoleBranch::start [mutable, protected]

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: