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

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

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

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

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

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

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

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

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

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

    pub fn var_stats(&self) -> (usize, usize, usize, usize, usize);
}

Var manipulation

Required methods

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

return the assignment of var.

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

return the value of a literal.

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

return the assign level of var.

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

return the reason of assignment.

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

return the var.

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

return the var.

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

return an iterator over Vars.

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

return an mutable iterator over Vars.

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

eliminate a var.

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

return the following data:

  • the number of vars
  • the number of asserted vars
  • the number of eliminated vars
  • the number of un-asserted vars
  • the number of unreachable unassigned vars or core
Loading content...

Implementors

impl VarManipulateIF for AssignStack[src]

Loading content...