Struct varisat::prop::assignment::Assignment

pub struct Assignment {
    assignment: Vec<Option<bool>>,
    last_value: Vec<bool>,
}

Current partial assignment.

Fields

assignment: Vec<Option<bool>>

last_value: Vec<bool>

Methods

impl Assignment

pub fn set_var_count(&mut self, count: usize)

Update structures for a new variable count.

pub fn assignment(&self) -> &[Option<bool>]

Current partial assignment as slice.

pub fn var_value(&self, var: Var) -> Option<bool>

Value assigned to a variable.

pub fn last_var_value(&self, var: Var) -> bool

Value last assigned to a variable.

If the variable is currently assigned this returns the previously assigned value. If the variable was never assigned this returns false.

pub fn lit_value(&self, lit: Lit) -> Option<bool>

Value assigned to a literal.

pub fn lit_is_true(&self, lit: Lit) -> bool

pub fn lit_is_false(&self, lit: Lit) -> bool

pub fn lit_is_unk(&self, lit: Lit) -> bool

pub fn assign_lit(&mut self, lit: Lit)

pub fn unassign_var(&mut self, var: Var)

pub fn set_var(&mut self, var: Var, assignment: Option<bool>)

Set the assigned/unassigned value of a variable.

Trait Implementations

impl Default for Assignment

fn default() -> Assignment

Returns the "default value" for a type.