Struct LatinSquare 

pub struct LatinSquare {
    pub possibilities: Vec<Possibility>,
    pub constraints: Vec<Constraint>,
}

Instance of a Latin square puzzle.

Fields

possibilities: Vec<Possibility>

The list of possible positions + values that could solve the Latin square puzzle.

constraints: Vec<Constraint>

The list of constraints that must be satisfied for this Latin square puzzle.

Implementations

impl LatinSquare

pub fn new( side_length: usize, filled_values: impl IntoIterator<Item = Possibility>, ) -> Self

Create a new Latin square puzzle.

The puzzle has dimensions side_length × side_length and the given list of filled values.

Trait Implementations

impl Debug for LatinSquare

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

Formats the value using the given formatter.

impl ExactCover for LatinSquare

type Constraint = Constraint

The type of value that are constraints on a given instance of an exact cover problem.

type Possibility = Possibility

The type of values that are elements of a solution to the exact cover problem.

fn satisfies(&self, poss: &Self::Possibility, cons: &Self::Constraint) -> bool

Return true if the given Possibility will satisfy the given Constraint.

fn is_optional(&self, _cons: &Self::Constraint) -> bool

Return true if the given Constraint is optional.

fn possibilities(&self) -> &[Self::Possibility]

Return a list of possibilities for this instance of the problem.

fn constraints(&self) -> &[Self::Constraint]

Return a list of constraints that must be satisfied for this instance of the problem.

fn solver(&self) -> Solver<'_, Self>

where Self: Sized,

Return an iterator over all solutions to this instance of the exact cover problem.