Enum AssignmentImpls 

pub enum AssignmentImpls {
    Vec(VecAssignment),
    HashMap(HashMapAssignment),
}

Defines an enumeration of the possible assignment types. Allows for a rough dynamic dispatch.

Variants

Vec(VecAssignment)

Vec assignment wrapper

HashMap(HashMapAssignment)

HashMap assignment wrapper

Trait Implementations

impl Assignment for AssignmentImpls

fn new(n_vars: usize) -> Self

Creates a new assignment manager for n_vars variables.

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 AssignmentImpls

fn clone(&self) -> AssignmentImpls

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssignmentImpls

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

Formats the value using the given formatter.

impl Index<usize> for AssignmentImpls

type Output = VarState

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl IndexMut<usize> for AssignmentImpls

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

Performs the mutable indexing (container[index]) operation.