main page modules namespaces classes files
Gecode home

search for 

SudokuMixed Class Reference
[Example scripts (models)]

Inherits Example.

List of all members.

---

Detailed Description

Example: Some Sudoku puzzles using finite domain and set constraints

The 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]

Actual model. Definition at line 69 of file sudoku-mixed.cc.

SudokuMixed::SudokuMixed (  bool  share, SudokuMixed &  s )  [inline]

Constructor for cloning s. Definition at line 222 of file sudoku-mixed.cc.

---

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]

Print solution. Reimplemented from Example. Definition at line 234 of file sudoku-mixed.cc.

---

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: 3517)