Example: Solving Sudoku puzzles using both set and integer constraints More...
Public Member Functions | |
SudokuMixed (const SizeOptions &opt) | |
Constructor. More... | |
SudokuMixed (bool share, SudokuMixed &s) | |
Constructor for cloning s. More... | |
virtual Space * | copy (bool share) |
Perform copying during cloning. More... | |
virtual void | print (std::ostream &os) const |
Print solution. More... | |
![]() | |
SudokuInt (const SizeOptions &opt) | |
Constructor. More... | |
SudokuInt (bool share, SudokuInt &s) | |
Constructor for cloning s. More... | |
![]() | |
Sudoku (const SizeOptions &opt) | |
Constructor. More... | |
Sudoku (bool share, Sudoku &s) | |
Constructor for cloning s. 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... | |
![]() | |
SudokuSet (const SizeOptions &opt) | |
Constructor. More... | |
SudokuSet (bool share, SudokuSet &s) | |
Constructor for cloning s. More... | |
Additional Inherited Members | |
![]() | |
enum | { PROP_NONE, PROP_SAME } |
Propagation variants. More... | |
![]() | |
enum | { MODEL_INT, MODEL_SET, MODEL_MIXED } |
Model variants. More... | |
enum | { BRANCH_NONE, BRANCH_SIZE, BRANCH_SIZE_DEGREE, BRANCH_SIZE_AFC, BRANCH_AFC } |
![]() | |
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) |
![]() | |
IntVarArray | x |
Values for the fields. More... | |
![]() | |
const int | n |
The size of the problem. More... | |
![]() | |
SetVarArray | y |
The fields occupied by a certain number. More... | |
![]() | |
int | main (int argc, char *argv[]) |
Main-function. More... | |
const char * | examples [] |
The specifications. More... | |
const unsigned int | n_examples = sizeof(examples)/sizeof(char*) |
The number of instances. More... | |
int | example_size (const char *s) |
The size of an instance. More... | |
int | sudokuField (const char *s, int n, int i, int j) |
Return value at position (i,j) in the example s of size n. More... | |
Example: Solving Sudoku puzzles using both set and integer constraints
Definition at line 363 of file sudoku.cpp.
|
inline |
Constructor.
Definition at line 366 of file sudoku.cpp.
|
inline |
Constructor for cloning s.
Definition at line 391 of file sudoku.cpp.
|
inlinevirtual |
Perform copying during cloning.
Reimplemented from SudokuInt.
Definition at line 396 of file sudoku.cpp.
|
inlinevirtual |