Trait splr::assign::VarSelectIF[−][src]

pub trait VarSelectIF {
    fn num_ion(&self) -> (usize, usize);

    fn select_decision_literal(&mut self) -> Lit;

    fn update_order(&mut self, v: VarId);

    fn rebuild_order(&mut self);
}

API for var selection, depending on an internal heap.

Required methods

fn num_ion(&self) -> (usize, usize)[src]

return the number of forgotton vars.

fn select_decision_literal(&mut self) -> Lit[src]

select a new decision variable.

fn update_order(&mut self, v: VarId)[src]

update the internal heap on var order.

fn rebuild_order(&mut self)[src]

rebuild the internal var_order

Loading content...

Implementors

Loading content...