Trait sudoku_variants::solver::strategy::Strategy

pub trait Strategy {
    fn apply(
        &self, 
        sudoku_info: &mut SudokuInfo<impl Constraint + Clone>
    ) -> bool;
}

A trait for strategies, which use logical reasoning to restrict the possibilities of a Sudoku.

Required methods

fn apply(&self, sudoku_info: &mut SudokuInfo<impl Constraint + Clone>) -> bool

Applies this strategy to the given Sudoku. The strategy may rely on and modify the information in the given sudoku_info. This instance is given to other strategies that participate in the solution and/or future iterations of the same strategy. It can thus be used to communicate insights.

This method shall return true if and only if something has changed, that is, a digit has been entered or an option has been removed.

Loading content...

Implementors

impl Strategy for NakedSingleStrategy

fn apply(&self, sudoku_info: &mut SudokuInfo<impl Constraint + Clone>) -> bool

impl Strategy for NoStrategy

fn apply(&self, _: &mut SudokuInfo<impl Constraint + Clone>) -> bool

impl Strategy for OnlyCellStrategy

fn apply(&self, sudoku_info: &mut SudokuInfo<impl Constraint + Clone>) -> bool

impl<F: Fn(usize) -> usize> Strategy for TupleStrategy<F>

fn apply(&self, sudoku_info: &mut SudokuInfo<impl Constraint + Clone>) -> bool

impl<FC, FA, S> Strategy for BoundedCellsBacktrackingStrategy<FC, FA, S> where
    FC: Fn(usize) -> usize,
    FA: Fn(usize) -> Option<usize>,
    S: Strategy, 

fn apply(&self, sudoku_info: &mut SudokuInfo<impl Constraint + Clone>) -> bool

impl<FO, FA, S> Strategy for BoundedOptionsBacktrackingStrategy<FO, FA, S> where
    FO: Fn(usize) -> usize,
    FA: Fn(usize) -> Option<usize>,
    S: Strategy, 

fn apply(&self, sudoku_info: &mut SudokuInfo<impl Constraint + Clone>) -> bool

impl<S1: Strategy, S2: Strategy> Strategy for CompositeStrategy<S1, S2>

fn apply(&self, sudoku_info: &mut SudokuInfo<impl Constraint + Clone>) -> bool

Loading content...