Struct VecAssignment

pub struct VecAssignment { /* private fields */ }

An implementation of Assignment using a Vec<VarState>.

This implementation is efficient for dense sets of variables, where variable IDs are contiguous and start from 0 (i.e. 0, 1, ..., n-1). Indexing with a usize value greater than or equal to the number of variables will result in a panic.

Trait Implementations

impl Assignment for VecAssignment

fn new(n_vars: usize) -> Self

Creates a new VecAssignment for n_vars variables. Variables are indexed from 0 to n_vars - 1.

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 unassign(&mut self, var: Variable)

Sets a variable 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 VecAssignment

fn clone(&self) -> VecAssignment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VecAssignment

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

Formats the value using the given formatter.

impl Default for VecAssignment

fn default() -> VecAssignment

Returns the “default value” for a type.

impl Index<usize> for VecAssignment

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

Accesses the state of the variable at the given index.

Panics

Panics if index is out of bounds. The unsafe get_unchecked is used for performance, assuming valid indices from internal logic.

type Output = VarState

The returned type after indexing.

impl IndexMut<usize> for VecAssignment

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

Mutably accesses the state of the variable at the given index.

Panics

Panics if index is out of bounds. The unsafe get_unchecked_mut is used for performance, similar to index.

impl PartialEq for VecAssignment

fn eq(&self, other: &VecAssignment) -> 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 VecAssignment

impl StructuralPartialEq for VecAssignment