Trait dancing_links::ExactCover

pub trait ExactCover {
    type Possibility: Debug;
    type Constraint: Debug;
    fn satisfies(poss: &Self::Possibility, cons: &Self::Constraint) -> bool;
    fn is_optional(cons: &Self::Constraint) -> bool;
}

An exact cover problem.

Associated Types

type Possibility: Debug

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

type Constraint: Debug

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

Loading content...

Required methods

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

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

fn is_optional(cons: &Self::Constraint) -> bool

Return true if the given Constraint is optional.

Loading content...

Implementors

impl ExactCover for LatinSquare

type Constraint = Constraint

type Possibility = Possibility

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

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

impl ExactCover for Sudoku

type Constraint = Constraint

type Possibility = Possibility

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

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

Loading content...