Trait ddo::core::abstraction::heuristics::WidthHeuristic

pub trait WidthHeuristic {
    fn max_width(&self, free_vars: &VarSet) -> usize;
}

This trait defines an heuristic to determine the maximum allowed width of a layer in a relaxed or restricted MDD.

Required methods

fn max_width(&self, free_vars: &VarSet) -> usize

Returns the maximum width allowed for a layer.

Loading content...

Implementors

impl WidthHeuristic for FixedWidth

fn max_width(&self, _free: &VarSet) -> usize

impl WidthHeuristic for NbUnassigned

fn max_width(&self, free: &VarSet) -> usize

impl<F> WidthHeuristic for Func<F> where
    F: Fn(&VarSet) -> usize, 

If the function determines a maximum width given a set of free vars, then Func will auto implement WidthHeuristic for that function.

fn max_width(&self, free_vars: &VarSet) -> usize

Loading content...