Check

backtrack::problem

Trait Check 

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

Check if a combination of values is satisfactory

Required Methods§

Source

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§