Struct ReductionMapping 

pub struct ReductionMapping {
    pub variable_map: HashMap<usize, (usize, bool)>,
    pub fixed_vars: HashMap<usize, bool>,
    pub original_vars: usize,
}

Mapping from original to reduced variables

Fields

variable_map: HashMap<usize, (usize, bool)>

Maps original variable to (representative, negated) If negated is true, the variable equals NOT(representative)

fixed_vars: HashMap<usize, bool>

Fixed variables

original_vars: usize

Original number of variables

Implementations

impl ReductionMapping

pub fn new(num_vars: usize) -> Self

Create a new identity mapping

pub fn fix_variable(&mut self, var: usize, value: bool)

Fix a variable to a specific value

pub fn merge_variables(&mut self, from: usize, to: usize)

Merge two variables (they take the same value)

pub fn merge_variables_negated(&mut self, from: usize, to: usize)

Merge two variables with negation (from = NOT(to))

pub fn is_reduced(&self, var: usize) -> bool

Check if a variable has been reduced

pub fn expand_solution(&self, reduced_solution: &[bool]) -> Vec<bool>

Map solution from reduced to original variables

Trait Implementations

impl Clone for ReductionMapping

fn clone(&self) -> ReductionMapping

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ReductionMapping

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.