SudokuMixed Class Reference
[Example scripts (models)]
Inherits Example.
Detailed Description
Example: Some Sudoku puzzles using finite domain and set constraintsThe problem does not really require any explanation...
This implementation combines both the finite domain and the finite set model using channelling constraints.
Definition at line 60 of file sudoku-mixed.cc.
Public Member Functions | |
SudokuMixed (const Options &opt) | |
Actual model. | |
SudokuMixed (bool share, SudokuMixed &s) | |
Constructor for cloning s. | |
virtual Space * | copy (bool share) |
Perform copying during cloning. | |
virtual void | print (void) |
Print solution. | |
Protected Attributes | |
SetVarArray | x |
Static Protected Attributes | |
static const int | n = 3 |
Constructor & Destructor Documentation
|
Actual model.
Definition at line 66 of file sudoku-mixed.cc. |
|
Constructor for cloning s.
Definition at line 219 of file sudoku-mixed.cc. |
Member Function Documentation
|
Perform copying during cloning.
Implements Gecode::Space. Definition at line 225 of file sudoku-mixed.cc. |
|
Print solution.
Reimplemented from Example. Definition at line 231 of file sudoku-mixed.cc. |
Member Data Documentation
|
Definition at line 62 of file sudoku-mixed.cc. |
|
Definition at line 63 of file sudoku-mixed.cc. |
The documentation for this class was generated from the following file:
- examples/sudoku-mixed.cc (Revision: 2391)