Generated on Thu Feb 21 2013 23:11:54 for Gecode by doxygen 1.8.3.1
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. More...
 
virtual Choicechoice (Space &)
 Return choice. More...
 
virtual Choicechoice (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 Actorcopy (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::IntViewx
 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: