Trait backtrack::problem::Check

pub trait Check<T = usize> {
    fn extends_sat(&self, solution: &[T], x: &T) -> bool;
}

Check if a combination of values is satisfactory

Required methods

fn extends_sat(&self, solution: &[T], x: &T) -> bool

Return true if new value extends an already valid partial solution

Arguments

• solution: candidate solution from x_0 to x_l-1 deemed valid
• x: new value

Implementors

impl Check<usize> for CountUp

impl Check<usize> for NQueens