TupleStrategy

Struct TupleStrategy 

Source
pub struct TupleStrategy<F: Fn(usize) -> usize> { /* private fields */ }
Expand description

A Strategy which searches groups for tuples, that is, 2 or more cells that in total have as many options as there are cells in the tuple. It then excludes all of these options from all cells in the group which are not a part of the tuple.

As an example, consider the following configuration (with standard Sudoku rules):

╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗
║ A │ A │ A ║ 4 │ 5 │ 6 ║ 7 │ 8 │ 9 ║
╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
║ B │ B │ B ║ 1 │ 2 │ 3 ║ 4 │ 5 │ 6 ║
╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
║   │   │ X ║   │   │   ║   │   │   ║
╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
║   │   │ 4 ║   │   │   ║   │   │   ║
╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
║   │   │ 5 ║   │   │   ║   │   │   ║
╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
║   │   │   ║   │   │   ║   │   │   ║
╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
║   │   │   ║   │   │   ║   │   │   ║
╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
║   │   │   ║   │   │   ║   │   │   ║
╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
║   │   │   ║   │   │   ║   │   │   ║
╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝

Because the first row already contains the digits 4-9, the cells marked with A must contain the digits 1-3, meaning they are a triple (3-tuple). Similarly, the cells marked with B must contain the digits 7-9. This excludes the options 1-3 and 7-9 from the cell marked with X. The 4 and 5 in the third column then fix it to 6.

When creating a tuple strategy using TupleStrategy::new, the maximum size of tuples that are considered can be defined.

Implementations§

Source§

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

Source

pub fn new(max_size_computer: F) -> TupleStrategy<F>

Creates a new tuple strategy that considers tuples up to the size defined by max_size_computer. This closure receives the size of the grid and outputs the maximum size of tuples that this strategy shall consider.

Trait Implementations§

Source§

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

Source§

fn clone(&self) -> TupleStrategy<F>

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<F: Fn(usize) -> usize> Strategy for TupleStrategy<F>

Source§

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. Read more

Auto Trait Implementations§

§

impl<F> Freeze for TupleStrategy<F>
where F: Freeze,

§

impl<F> RefUnwindSafe for TupleStrategy<F>
where F: RefUnwindSafe,

§

impl<F> Send for TupleStrategy<F>
where F: Send,

§

impl<F> Sync for TupleStrategy<F>
where F: Sync,

§

impl<F> Unpin for TupleStrategy<F>
where F: Unpin,

§

impl<F> UnwindSafe for TupleStrategy<F>
where F: UnwindSafe,

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