Example: Solitaire domino More...
Public Types | |
enum | { PROP_ELEMENT, PROP_EXTENSIONAL } |
Propagation to use for model. More... | |
Public Member Functions | |
Domino (const SizeOptions &opt) | |
Actual model. More... | |
virtual void | print (std::ostream &os) const |
Print solution. More... | |
Domino (bool share, Domino &s) | |
Constructor for cloning s. More... | |
virtual Space * | copy (bool share) |
Copy space during cloning. More... | |
![]() | |
ScriptBase (void) | |
Default constructor. More... | |
ScriptBase (bool share, ScriptBase &e) | |
Constructor used for cloning. More... | |
virtual void | compare (const Space &, std::ostream &os) const |
Compare with s. More... | |
Related Functions | |
(Note that these are not member functions.) | |
const unsigned int | n_examples |
Number of board specifications. More... | |
int | main (int argc, char *argv[]) |
Main-function. More... | |
Puzzle specifications | |
const int * | specs [] |
Board specifications. More... | |
const int | domino0 [] |
Example 0 More... | |
const int | domino1 [] |
Example 1 More... | |
const int | domino2 [] |
Example 2 More... | |
const int | domino3 [] |
Example 3 More... | |
const int | domino4 [] |
Example 4 More... | |
const int | domino5 [] |
Example 5 More... | |
const unsigned | n_examples = sizeof(specs)/sizeof(int*) |
Number of specifications. More... | |
const int * | specs [] |
List of specifications. More... | |
Additional Inherited Members | |
![]() | |
static std::ostream & | select_ostream (const char *name, std::ofstream &ofs) |
Choose output stream according to name. More... | |
template<class Script , template< class > class Engine, class Options > | |
static void | run (const Options &opt, Script *s=NULL) |
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.
Definition at line 72 of file domino.cpp.
|
inline |
Actual model.
Definition at line 92 of file domino.cpp.
|
inline |
Constructor for cloning s.
Definition at line 211 of file domino.cpp.
|
inlinevirtual |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
Definition at line 198 of file domino.cpp.
|
inlinevirtual |
Copy space during cloning.
Definition at line 217 of file domino.cpp.
|
related |
|
related |
Number of board specifications.
Definition at line 57 of file domino.cpp.
|
related |
Example 0
Definition at line 254 of file domino.cpp.
|
related |
Example 1
Definition at line 268 of file domino.cpp.
|
related |
Example 2
Definition at line 282 of file domino.cpp.
|
related |
Example 3
Definition at line 296 of file domino.cpp.
|
related |
Example 4
Definition at line 310 of file domino.cpp.
|
related |
Example 5
Definition at line 324 of file domino.cpp.
|
related |
Number of specifications.
Definition at line 341 of file domino.cpp.
|
related |
Main-function.
Definition at line 228 of file domino.cpp.
|
related |
List of specifications.
Definition at line 338 of file domino.cpp.