Generated on Tue Sep 25 2012 20:53:24 for Gecode by doxygen 1.7.5
Domino Class Reference

Example: Solitaire domino More...

List of all members.

Public Types

enum  { PROP_ELEMENT, PROP_EXTENSIONAL }
 Propagation to use for model. More...

Public Member Functions

 Domino (const SizeOptions &opt)
 Actual model.
virtual void print (std::ostream &os) const
 Print solution.
 Domino (bool share, Domino &s)
 Constructor for cloning s.
virtual Spacecopy (bool share)
 Copy space during cloning.

Related Functions

(Note that these are not member functions.)

const unsigned int n_examples
 Number of board specifications.
int main (int argc, char *argv[])
 Main-function.

Puzzle specifications

const int * specs []
 Board specifications.
const int domino0 []
 Example 0
const int domino1 []
 Example 1
const int domino2 []
 Example 2
const int domino3 []
 Example 3
const int domino4 []
 Example 4
const int domino5 []
 Example 5
const unsigned n_examples = sizeof(specs)/sizeof(int*)
 Number of specifications.
const int * specs []
 List of specifications.

Detailed Description

Example: Solitaire domino

The task is to place domino pieces on a board. Each piece covers two fields and has two numbers. There are 28 pieces, from 0-0 to 6-6. The board is set up with a number in each field that must match the number of the domino piece placed on that field.


Member Enumeration Documentation

anonymous enum

Propagation to use for model.

Enumerator:
PROP_ELEMENT 

Use element constraints.

PROP_EXTENSIONAL 

Use extensional constraints.

Definition at line 86 of file domino.cpp.


Constructor & Destructor Documentation

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

Actual model.

Definition at line 92 of file domino.cpp.

Domino::Domino ( bool  share,
Domino s 
) [inline]

Constructor for cloning s.

Definition at line 211 of file domino.cpp.


Member Function Documentation

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

Print solution.

Reimplemented from Gecode::Driver::ScriptBase.

Definition at line 198 of file domino.cpp.

virtual Space* Domino::copy ( bool  share) [inline, virtual]

Copy space during cloning.

Definition at line 217 of file domino.cpp.


Friends And Related Function Documentation

const int* specs[] [related]
Initial value:

Board specifications.

List of specifications.

Definition at line 52 of file domino.cpp.

const unsigned int n_examples [related]

Number of board specifications.

Definition at line 57 of file domino.cpp.

const int domino0[] [related]
Initial value:
    { 
      8,7,
      
      2,1,0,3,0,4,5,5,
      6,2,0,6,3,1,4,0,
      3,2,3,6,2,5,4,3,
      5,4,5,1,1,2,1,2,
      0,0,1,5,0,5,4,4,
      4,6,2,1,3,6,6,1,
      4,2,0,6,5,3,3,6
    }

Example 0

Definition at line 254 of file domino.cpp.

const int domino1[] [related]
Initial value:
    { 
      8,7,
      
      5,1,2,4,6,2,0,5,
      6,6,4,3,5,0,1,5,
      2,0,4,0,4,0,5,0,
      6,1,3,6,3,5,4,3,
      3,1,0,1,2,2,1,4,
      3,6,6,2,4,0,5,4,
      1,3,6,1,2,3,5,2
    }

Example 1

Definition at line 268 of file domino.cpp.

const int domino2[] [related]
Initial value:
    { 
      8,7,
      
      4,4,5,4,0,3,6,5,
      1,6,0,1,5,3,4,1,
      2,6,2,2,5,3,6,0,
      1,3,0,6,4,4,2,3,
      3,5,5,2,4,2,2,1,
      2,1,3,3,5,6,6,1,
      5,1,6,0,0,0,4,0
    }

Example 2

Definition at line 282 of file domino.cpp.

const int domino3[] [related]
Initial value:
    { 
      8,7,
      
      3,0,2,3,3,4,4,3,
      6,5,3,4,2,0,2,1,
      6,5,1,2,3,0,2,0,
      4,5,4,1,6,6,2,5,
      4,3,6,1,0,4,5,5,
      1,3,2,5,6,0,0,1,
      0,5,4,6,2,1,6,1
    }

Example 3

Definition at line 296 of file domino.cpp.

const int domino4[] [related]
Initial value:
    { 
      8,7,
      
      4,1,5,2,4,4,6,2,
      2,5,6,1,4,6,0,2,
      6,5,1,1,0,1,4,3,
      6,2,1,1,3,2,0,6,
      3,6,3,3,5,5,0,5,
      3,0,1,0,0,5,4,3,
      3,2,4,5,4,2,6,0
    }

Example 4

Definition at line 310 of file domino.cpp.

const int domino5[] [related]
Initial value:
    { 
      8,7,
      
      4,1,2,1,0,2,4,4,
      5,5,6,6,0,4,6,3,
      6,0,5,1,1,0,5,3,
      3,4,2,2,0,3,1,2,
      3,6,5,6,1,2,3,2,
      2,5,0,6,6,3,3,5,
      4,1,0,0,4,1,4,5
    }

Example 5

Definition at line 324 of file domino.cpp.

const unsigned n_examples = sizeof(specs)/sizeof(int*) [related]

Number of specifications.

Definition at line 341 of file domino.cpp.

int main ( int  argc,
char *  argv[] 
) [related]

Main-function.

Definition at line 228 of file domino.cpp.

const int * specs ( ) [related]

List of specifications.

Definition at line 338 of file domino.cpp.


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