Example: Solving Sudoku puzzles using both set and integer constraints More...

Public Member Functions
	SudokuMixed (const SizeOptions &opt)
	Constructor.
	SudokuMixed (bool share, SudokuMixed &s)
	Constructor for cloning s.
virtual Space *	copy (bool share)
	Perform copying during cloning.
virtual void	print (std::ostream &os) const
	Print solution.
Public Member Functions inherited from SudokuInt
	SudokuInt (const SizeOptions &opt)
	Constructor.
	SudokuInt (bool share, SudokuInt &s)
	Constructor for cloning s.
Public Member Functions inherited from Sudoku
	Sudoku (const SizeOptions &opt)
	Constructor.
	Sudoku (bool share, Sudoku &s)
	Constructor for cloning s.
Public Member Functions inherited from Gecode::Driver::ScriptBase< BaseSpace >
	ScriptBase (void)
	Default constructor.
	ScriptBase (bool share, ScriptBase &e)
	Constructor used for cloning.
virtual void	compare (const Space &, std::ostream &os) const
	Compare with s.
Public Member Functions inherited from SudokuSet
	SudokuSet (const SizeOptions &opt)
	Constructor.
	SudokuSet (bool share, SudokuSet &s)
	Constructor for cloning s.

Additional Inherited Members
Public Types inherited from SudokuInt
enum	{ PROP_NONE, PROP_SAME }
	Propagation variants. More...
Public Types inherited from Sudoku
enum	{ MODEL_INT, MODEL_SET, MODEL_MIXED }
	Model variants. More...
enum	{ BRANCH_NONE, BRANCH_SIZE, BRANCH_SIZE_DEGREE, BRANCH_SIZE_AFC, BRANCH_AFC }
Protected Attributes inherited from SudokuInt
IntVarArray	x
	Values for the fields.
Protected Attributes inherited from SudokuSet
SetVarArray	y
	The fields occupied by a certain number.

Detailed Description

Example: Solving Sudoku puzzles using both set and integer constraints

Definition at line 363 of file sudoku.cpp.

Constructor & Destructor Documentation

SudokuMixed::SudokuMixed ( const SizeOptions & opt )

inline

Constructor.

Definition at line 366 of file sudoku.cpp.

inline

Constructor for cloning s.

Definition at line 391 of file sudoku.cpp.

virtual Space* SudokuMixed::copy ( bool share )

inlinevirtual

Perform copying during cloning.

Reimplemented from SudokuInt.

Definition at line 396 of file sudoku.cpp.

virtual void SudokuMixed::print ( std::ostream & os ) const

inlinevirtual

Print solution.

Reimplemented from SudokuInt.

Definition at line 401 of file sudoku.cpp.

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