Solution

Enum Solution 

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

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§

Source§

impl Solution

Source

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§

Source§

impl Clone for Solution

Source§

fn clone(&self) -> Solution

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Solution

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for Solution

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Eq for Solution

Source§

impl StructuralPartialEq for Solution

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V