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

Loading content...

Implementors

impl Check<usize> for CountUp

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

impl Check<usize> for NQueens

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

impl<C: CheckInc<T>, T> Check<T> for C

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

Loading content...