sudoku-mixed.cc File Reference

(Revision: 3517)

#include "gecode/set.hh"
#include "examples/support.hh"
#include "gecode/minimodel.hh"
#include "examples/sudoku.icc"

Go to the source code of this file.

Classes

class SudokuMixed

Example: Some Sudoku puzzles using finite domain and set constraints More...

Functions

void same (Space *home, int nn, IntVarArgs a, IntVarArgs b)

Implements the "same" constraint.

MiniModel::Matrix< IntVarArray
>::Slice block_col (MiniModel::Matrix< IntVarArray > m, int n, int bc, int i, int j)

MiniModel::Matrix< IntVarArray
>::Slice block_row (MiniModel::Matrix< IntVarArray > m, int n, int br, int i, int j)

Function Documentation

void same ( Space * home,

int nn,

IntVarArgs a,

IntVarArgs b

)

Implements the "same" constraint.
Posts the constraint $\biguplus_i \{a_i\}=\biguplus_i \{b_i\}$ where both are a subset of $1\dots\mathit{nn}$
Definition at line 34 of file sudoku-mixed.cc.

MiniModel::Matrix<IntVarArray>::Slice block_col ( MiniModel::Matrix< IntVarArray > m,

int n,

int bc,

int i,

int j

)

Definition at line 41 of file sudoku-mixed.cc.

MiniModel::Matrix<IntVarArray>::Slice block_row ( MiniModel::Matrix< IntVarArray > m,

int n,

int br,

int i,

int j

)

Definition at line 47 of file sudoku-mixed.cc.


Classes
class	SudokuMixed
	Example: Some Sudoku puzzles using finite domain and set constraints More...
Functions
void	same (Space *home, int nn, IntVarArgs a, IntVarArgs b)
	Implements the "same" constraint.
MiniModel::Matrix< IntVarArray >::Slice	block_col (MiniModel::Matrix< IntVarArray > m, int n, int bc, int i, int j)
MiniModel::Matrix< IntVarArray >::Slice	block_row (MiniModel::Matrix< IntVarArray > m, int n, int br, int i, int j)