Generated on Tue May 22 09:40:47 2018 for Gecode by doxygen 1.6.3

BlackHole Class Reference
[Example scripts (models)]

Example: Black hole patience More...

List of all members.

Public Types

enum  { SYMMETRY_NONE, SYMMETRY_CONDITIONAL }
 

Symmetry variants.

More...
enum  { PROPAGATION_REIFIED, PROPAGATION_DFA, PROPAGATION_TUPLE_SET }
 

Propagation of placement-rules.

More...

Public Member Functions

 BlackHole (const SizeOptions &opt)
 Actual model.
virtual void print (std::ostream &os) const
 Print instance and solution.
 BlackHole (BlackHole &s)
 Constructor for cloning s.
virtual Spacecopy (void)
 Copy during cloning.

Static Public Member Functions

static int val (const Space &, IntVar x, int)
 Value selection function for branching.

Protected Member Functions

std::string card (int val) const
 Return a string representing the card of value val.

Protected Attributes

IntVarArray x
 Card at position.
IntVarArray y
 Position of card.

Detailed Description

Example: Black hole patience

This example solves instances of the black-hole patience game.

The model of the problem is mostly taken from "Search in the Patience Game 'Black Hole'", by Ian P. Gent, Chris Jefferson, Tom Kelsey, InÍs Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, and S. Armagan Tarim.

The conditional symmetry identified in the above paper can be eliminated (enabled by default).

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


Member Enumeration Documentation

anonymous enum

Symmetry variants.

Enumerator:
SYMMETRY_NONE 

No symmetry breaking.

SYMMETRY_CONDITIONAL 

Breaking conditional symmetries.

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

anonymous enum

Propagation of placement-rules.

Enumerator:
PROPAGATION_REIFIED 

Reified propagation.

PROPAGATION_DFA 

Extensional propagation using automatons.

PROPAGATION_TUPLE_SET 

Extensional propagation using tables.

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


Constructor & Destructor Documentation

BlackHole::BlackHole ( const SizeOptions opt  )  [inline]

Actual model.

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

BlackHole::BlackHole ( BlackHole s  )  [inline]

Constructor for cloning s.

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


Member Function Documentation

std::string BlackHole::card ( int  val  )  const [inline, protected]

Return a string representing the card of value val.

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

static int BlackHole::val ( const Space ,
IntVar  x,
int   
) [inline, static]

Value selection function for branching.

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

virtual void BlackHole::print ( std::ostream &  os  )  const [inline, virtual]

Print instance and solution.

Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.

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

virtual Space* BlackHole::copy ( void   )  [inline, virtual]

Copy during cloning.

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


Member Data Documentation

Card at position.

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

Position of card.

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


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