Struct backtrack::problems::count_up::CountUp

pub struct CountUp { /* fields omitted */ }

Accept n numbers where each number must be greater than former and from domain

Implementations

impl CountUp

pub fn new(n: usize, domain: Range<usize>) -> Self

Trait Implementations

impl Check for CountUp

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

Return true if new value extends an already valid partial solution

impl Debug for CountUp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Scope for CountUp

fn size(&self) -> usize

Return number values needed for a complete solution

fn domain(&self) -> Vec<usize>

Return all allowed values in a solution