BlackHoleBranch Class Reference
Inherits Gecode::Branching.
Detailed Description
Custom branching for black hole patience.This class implements a custom branching for BlackHole that instantiates the variables in lexical order, and chooses the value with the most cards under it.
Definition at line 96 of file black-hole.cc.
Public Member Functions | |
| virtual bool | status (const Space *) const |
| Check status of branching, return true if alternatives left. | |
| virtual BranchingDesc * | description (const Space *) const |
| Return branching description. | |
| virtual ExecStatus | commit (Space *home, const BranchingDesc *d, unsigned int a) |
| Perform commit for branching description d and alternative a. | |
| virtual Actor * | copy (Space *home, bool share) |
| Copy branching. | |
| virtual const char * | name (void) const |
| Reflection name. | |
Static Public Member Functions | |
| static void | post (Space *home, IntVarArgs x) |
| Post branching. | |
Member Function Documentation
| virtual bool BlackHoleBranch::status | ( | const Space * | ) | const [inline, virtual] |
Check status of branching, return true if alternatives left.
Implements Gecode::Branching.
Definition at line 113 of file black-hole.cc.
| virtual BranchingDesc* BlackHoleBranch::description | ( | const Space * | ) | const [inline, virtual] |
Return branching description.
Implements Gecode::Branching.
Definition at line 130 of file black-hole.cc.
| virtual ExecStatus BlackHoleBranch::commit | ( | Space * | home, | |
| const BranchingDesc * | d, | |||
| unsigned int | a | |||
| ) | [inline, virtual] |
Perform commit for branching description d and alternative a.
Implements Gecode::Branching.
Definition at line 135 of file black-hole.cc.
| virtual const char* BlackHoleBranch::name | ( | void | ) | const [inline, virtual] |
| static void BlackHoleBranch::post | ( | Space * | home, | |
| IntVarArgs | x | |||
| ) | [inline, static] |
The documentation for this class was generated from the following file:
- examples/black-hole.cc (Revision: 6052)