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

pub trait VarSelectIF {
    pub fn dissolve_stage(&mut self, phasing: bool);

    pub fn build_stage(&mut self, target: StagingTarget, rephasing: bool);

    pub fn num_staging_cands(&self) -> usize;

    pub fn select_decision_literal(&mut self) -> Lit;

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

    pub fn rebuild_order(&mut self);

    pub fn make_var_asserted(&mut self, vi: VarId);
}

API for var selection, depending on an internal heap.

Required methods

pub fn dissolve_stage(&mut self, phasing: bool)[src]

decay staging setting

pub fn build_stage(&mut self, target: StagingTarget, rephasing: bool)[src]

select staged vars

pub fn num_staging_cands(&self) -> usize[src]

return the number of forgotton vars.

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

select a new decision variable.

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

update the internal heap on var order.

pub fn rebuild_order(&mut self)[src]

rebuild the internal var_order

pub fn make_var_asserted(&mut self, vi: VarId)[src]

make a var asserted.

Loading content...

Implementors

impl VarSelectIF for AssignStack[src]

Loading content...