Generated on Wed Jan 4 17:49:15 2006 for Gecode by doxygen 1.4.6

sudoku-mixed.cc File Reference

(Revision: 2391)

#include "set.hh"

Go to the source code of this file.

Classes

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

Functions

IntVarArgs unionOfArgs (const IntVarArgs as, const IntVarArgs bs)
 Concatenates two argument arrays.
void same (Space *home, IntVarArgs a, IntVarArgs b)
 Implements the "same" constraint.


Function Documentation

IntVarArgs unionOfArgs const IntVarArgs  as,
const IntVarArgs  bs
 

Concatenates two argument arrays.

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

void same Space *  home,
IntVarArgs  a,
IntVarArgs  b
 

Implements the "same" constraint.

Posts the constraint $\biguplus_i \{a_i\}=\biguplus_i \{b_i\}$

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