Trait backtrack::problem::Check

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

Check if a combination of values is satisfactory

Required methods

fn extends_sat(&self, solution: &[usize], x: usize) -> 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 for CountUp

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

impl Check for NQueens

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

impl<T: CheckInc> Check for T

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

Loading content...