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 63 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 | |
const int | n |
SetVarArray | x |
Constructor & Destructor Documentation
SudokuMixed::SudokuMixed | ( | const Options & | opt | ) | [inline] |
SudokuMixed::SudokuMixed | ( | bool | share, | |
SudokuMixed & | s | |||
) | [inline] |
Member Function Documentation
virtual Space* SudokuMixed::copy | ( | bool | share | ) | [inline, virtual] |
Perform copying during cloning.
Implements Gecode::Space.
Definition at line 228 of file sudoku-mixed.cc.
virtual void SudokuMixed::print | ( | void | ) | [inline, virtual] |
Member Data Documentation
const int SudokuMixed::n [protected] |
Definition at line 65 of file sudoku-mixed.cc.
SetVarArray SudokuMixed::x [protected] |
Definition at line 66 of file sudoku-mixed.cc.
The documentation for this class was generated from the following file:
- examples/sudoku-mixed.cc (Revision: 2391)