Enum sudoku_variants::solver::Solution

pub enum Solution {
    Impossible,
    Unique(SudokuGrid),
    Ambiguous,
}

An enumeration of the different ways a Sudoku can be solveable. Note that this may be relative to the solver, since an imperfect solver may be unable to continue at some point, yielding Solution::Ambiguous, where the Sudoku is actually uniquely solveable or impossible.

Variants

Impossible

Indicates that the Sudoku is not solveable at all.

Unique(SudokuGrid)

Indicates that the Sudoku has a unique solution, which is wrapped in this instance.

Ambiguous

Indicates that the Sudoku has multiple solutions or, at least, that the solver was unable to find a unique one or prove it is impossible.

Implementations

impl Solution

pub fn union(self, other: Solution) -> Solution

Computes the union of two solutions. This is defined as follows:

• If one solution is Solution::Impossible, the other one is returned.
• If one solution is Solution::Ambiguous then the result is also ambiguous
• If both solutions are Solution::Unique with solution grids g1 and g2, then the result is Solution::Unique(g1) if g1 == g2 and Solution::Ambiguous otherwise.

Trait Implementations

impl Clone for Solution

fn clone(&self) -> Solution

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Solution

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Solution

impl PartialEq<Solution> for Solution

fn eq(&self, other: &Solution) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Solution) -> bool

This method tests for !=.

impl StructuralEq for Solution

impl StructuralPartialEq for Solution