Struct Assignment 

pub struct Assignment(/* private fields */);

An assignment of a set of variables.

Inside the set of variables involved in the assignment, some may be unassigned. This is the reason why accessors to assigned value return an Option<bool>.

Implementations

impl Assignment

pub fn value_of<T>(&self, v: T) -> Option<bool>

where T: Into<Variable>,

Returns the value potentially assigned to the variable.

The result in an Option. In case the variable is not assigned, Option::None is returned. Else, Option::Some is returned and contains the assigned value.

In order to iterate over an assignment, prefer the iter function.

Panic

If the provided variable does not belong to the underlying problem, this function panics.

Example

let assignment = get_assignment(); // user defined function
let n_vars = get_n_vars(); // user defined function
for i in 1 ..= n_vars {
    match assignment.value_of(i) {
        Some(v) => println!("var {} is set to {}", i, v),
        None => println!("var {} is left unassigned", i),
    }
}

pub fn iter(&self) -> impl Iterator<Item = (usize, Option<bool>)> + '_

Iterates over an assignment.

Yielded values are Option. In case the variable is not assigned, Option::None is returned. Else, Option::Some is returned and contains the assigned value.

Example

let assignment = get_assignment(); // user defined function
assignment.iter().for_each(|opt_lit| {
    match opt_lit {
        (i, Some(v)) => println!("var {} is set to {}", i, v),
        (i, None) => println!("var {} is left unassigned", i),
    }
});

Trait Implementations

impl Debug for Assignment

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

Formats the value using the given formatter.

impl PartialEq for Assignment

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

impl StructuralPartialEq for Assignment