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.


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.