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

pub trait VarManipulateIF {
    fn assign(&self, vi: VarId) -> Option<bool>;

    fn assigned(&self, l: Lit) -> Option<bool>;

    fn level(&self, vi: VarId) -> DecisionLevel;

    fn reason(&self, vi: VarId) -> AssignReason;

    fn var(&self, vi: VarId) -> &Var;

    fn var_mut(&mut self, vi: VarId) -> &mut Var;

    fn var_iter(&self) -> Iter<'_, Var>;

    fn var_iter_mut(&mut self) -> IterMut<'_, Var>;
}

Var manipulation

Required methods

fn assign(&self, vi: VarId) -> Option<bool>[src]

return the assignment of var.

fn assigned(&self, l: Lit) -> Option<bool>[src]

return the value of a literal.

fn level(&self, vi: VarId) -> DecisionLevel[src]

return the assign level of var.

fn reason(&self, vi: VarId) -> AssignReason[src]

return the reason of assignment.

fn var(&self, vi: VarId) -> &Var[src]

return the var.

fn var_mut(&mut self, vi: VarId) -> &mut Var[src]

return the var.

fn var_iter(&self) -> Iter<'_, Var>[src]

return an iterator over Vars.

fn var_iter_mut(&mut self) -> IterMut<'_, Var>[src]

return an mutable iterator over Vars.

Loading content...

Implementors

impl VarManipulateIF for AssignStack[src]

Loading content...