OKlibrary  0.2.1.6
OKlib::LatinSquares::Trivial_reduction_Sudoku< SudokuP > Class Template Reference

Trivial reduction for a Sudoku problem. More...

#include <Sudoku.hpp>

List of all members.

Public Types

typedef SudokuP sudoku_type
typedef sudoku_type::literal_type literal_type

Public Member Functions

boost::logic::tribool operator() (const sudoku_type &P)

Detailed Description

template<class SudokuP>
class OKlib::LatinSquares::Trivial_reduction_Sudoku< SudokuP >

Trivial reduction for a Sudoku problem.

Checks only whether the constraints either all are satisfied or one has been falsified.

Todo:
This should be the responsibility of the alliance, or? (Like "generalised UCP" ?!)

Definition at line 138 of file Sudoku.hpp.


Member Typedef Documentation

template<class SudokuP >
typedef sudoku_type::literal_type OKlib::LatinSquares::Trivial_reduction_Sudoku< SudokuP >::literal_type

Definition at line 143 of file Sudoku.hpp.

template<class SudokuP >
typedef SudokuP OKlib::LatinSquares::Trivial_reduction_Sudoku< SudokuP >::sudoku_type

Definition at line 142 of file Sudoku.hpp.


Member Function Documentation

template<class SudokuP >
boost::logic::tribool OKlib::LatinSquares::Trivial_reduction_Sudoku< SudokuP >::operator() ( const sudoku_type P) [inline]

Check the constraints XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Definition at line 145 of file Sudoku.hpp.


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