Trait pcp::search::branching::VarSelection

pub trait VarSelection<Space> {
    fn select(&mut self, space: &Space) -> usize;
}

Required Methods

fn select(&mut self, space: &Space) -> usize

Implementors

impl<VStore, CStore, R, Domain, Size> VarSelection<Space<VStore, CStore, R>> for FirstSmallestVarwhere
    VStore: Iterable<Item = Domain>,
    Domain: Cardinality<Size = Size>,
    Size: Ord + Unsigned + Integer,

impl<VStore, CStore, R, Domain, Size> VarSelection<Space<VStore, CStore, R>> for InputOrderwhere
    VStore: Iterable<Item = Domain>,
    Domain: Cardinality<Size = Size>,
    Size: Ord + Unsigned + Integer,