BlackHoleBranch Class Reference
Custom branching for black hole patience. More...
Public Member Functions | |
| virtual bool | status (const Space &) const |
| Check status of branching, return true if alternatives left. | |
| virtual BranchingDesc * | description (Space &) |
| 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. | |
Static Public Member Functions | |
| static void | post (Space &home, IntVarArgs x) |
| Post 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 98 of file black-hole.cpp.
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 132 of file black-hole.cpp.
| virtual BranchingDesc* BlackHoleBranch::description | ( | Space & | ) | [inline, virtual] |
Return branching description.
Implements Gecode::Branching.
Definition at line 149 of file black-hole.cpp.
| 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 154 of file black-hole.cpp.
| static void BlackHoleBranch::post | ( | Space & | home, | |
| IntVarArgs | x | |||
| ) | [inline, static] |
The documentation for this class was generated from the following file:
- examples/black-hole.cpp (Revision: 8649)