SudokuInt Class Reference
[Scripts for problems]

Inherits Sudoku.

Inherited by SudokuMixed.

List of all members.

---

Detailed Description

Example: Solving Sudoku puzzles using integer constraints

Definition at line 95 of file sudoku.cc.

Public Types
enum	{ PROP_NONE, PROP_SAME }
	Propagation variants. More...
Public Member Functions
	SudokuInt (const SizeOptions &opt)
	Constructor.
	SudokuInt (bool share, SudokuInt &s)
	Constructor for cloning s.
virtual Space *	copy (bool share)
	Perform copying during cloning.
virtual void	print (std::ostream &os)
	Print solution.
Protected Attributes
IntVarArray	x
	Values for the fields.

---

Member Enumeration Documentation

anonymous enum

Propagation variants.

Enumerator:

PROP_NONE	No additional constraints.
PROP_SAME	Use "same" constraint with integer model.

Definition at line 102 of file sudoku.cc.

---

Constructor & Destructor Documentation

SudokuInt::SudokuInt

(

const SizeOptions &

opt

)

[inline]

Constructor.

Definition at line 108 of file sudoku.cc.

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

Constructor for cloning s.

Definition at line 176 of file sudoku.cc.

---

Member Function Documentation

virtual Space* SudokuInt::copy

(

bool

share

)

[inline, virtual]

Perform copying during cloning.

Implements Gecode::Space.

Reimplemented in SudokuMixed.

Definition at line 182 of file sudoku.cc.

virtual void SudokuInt::print

(

std::ostream &

os

)

[inline, virtual]

Print solution.

Reimplemented from Example.

Reimplemented in SudokuMixed.

Definition at line 188 of file sudoku.cc.

---

Member Data Documentation

IntVarArray SudokuInt::x [protected]

Values for the fields.

Definition at line 98 of file sudoku.cc.

---

The documentation for this class was generated from the following file:

• examples/sudoku.cc (Revision: 6034)