Struct HashMapAssignment

pub struct HashMapAssignment { /* private fields */ }

An implementation of Assignment using an FxHashMap<Variable, VarState>.

This implementation is suitable for sparse sets of variables or when variable IDs are not necessarily small or contiguous. It stores states only for variables that have been explicitly set or unassigned. Accessing a variable not in the map via Index will return VarState::Unassigned.

Trait Implementations

impl Assignment for HashMapAssignment

fn new(n_vars: usize) -> Self

Creates a new HashMapAssignment.

Arguments

• n_vars: The conceptual number of variables. This is used by all_assigned to determine if all expected variables have assignments, and by unassigned to iterate up to this many variables.

fn unassign(&mut self, var: Variable)

Unassigns a variable by setting its state to VarState::Unassigned in the map. If the variable was not in the map, it will be inserted as Unassigned.

fn num_vars(&self) -> usize

Returns the total number of variables this assignment manager is configured for.

fn set(&mut self, var: Variable, b: bool)

Sets the truth value of a variable.

fn reset(&mut self)

Resets all variables to the Unassigned state.

fn get_solutions(&self) -> Solutions

Retrieves the current set of assigned variables as a Solutions object.

fn all_assigned(&self) -> bool

Checks if all variables managed by this assignment are currently assigned.

fn assign(&mut self, l: impl Literal)

Assigns a truth value to a variable based on a literal.

fn is_assigned(&self, var: Variable) -> bool

Checks if a specific variable is assigned a truth value.

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

Gets the truth value of a variable, if assigned.

fn literal_value(&self, l: impl Literal) -> Option<bool>

Gets the truth value of a literal under the current assignment.

fn unassigned(&self) -> impl Iterator<Item = Variable> + '_

Returns an iterator over all currently unassigned variables.

impl Clone for HashMapAssignment

fn clone(&self) -> HashMapAssignment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HashMapAssignment

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

Formats the value using the given formatter.

impl Default for HashMapAssignment

fn default() -> HashMapAssignment

Returns the “default value” for a type.

impl Index<usize> for HashMapAssignment

fn index(&self, index: usize) -> &Self::Output

Accesses the state of the variable corresponding to index.

If the variable (converted from index) is not in the map, it’s treated as Unassigned.

type Output = VarState

The returned type after indexing.

impl IndexMut<usize> for HashMapAssignment

fn index_mut(&mut self, index: usize) -> &mut Self::Output

Mutably accesses the state of the variable corresponding to index.

If the variable (converted from index) is not in the map, it’s inserted with VarState::Unassigned before returning a mutable reference.

impl PartialEq for HashMapAssignment

fn eq(&self, other: &HashMapAssignment) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for HashMapAssignment

impl StructuralPartialEq for HashMapAssignment