Generated on Thu Jul 6 07:06:52 2006 for Gecode by doxygen 1.4.7

sudoku-mixed.cc File Reference

(Revision: 2391)

#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.