Struct Assignment 

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

A total assignment of one value to every variable.

Indexed by VarId, so its length is the number of source vertices the network was built over.

Implementations

impl Assignment

pub fn all_bottom(variables: usize) -> Self

The assignment leaving every source vertex out of the apex.

Always feasible: every binary constraint is vacuous when both its endpoints are ⊥, and the apex well-formedness constraints are vacuous when the vertex they are conditioned on is ⊥.

pub const fn from_values(values: Vec<ValId>) -> Self

Wrap a value per variable, in variable order.

pub fn len(&self) -> usize

The number of variables.

pub fn is_empty(&self) -> bool

Whether there are no variables at all.

pub fn get(&self, var: VarId) -> Option<ValId>

The value of one variable, or None if it is out of range.

pub fn set(&mut self, var: VarId, value: ValId)

Assign one variable.

Panics

If var is out of range for this assignment.

pub fn values(&self) -> &[ValId]

Every value, in variable order.

pub fn pairs(&self) -> impl Iterator<Item = (VarId, ValId)> + '_

Every variable paired with its value.

pub fn dropped(&self) -> usize

The number of source vertices left out of the apex.

This is the drop count of the packed cost encoding, so it is the secondary component of the objective.

Trait Implementations

impl Clone for Assignment

fn clone(&self) -> Assignment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Assignment

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

Formats the value using the given formatter.

impl Default for Assignment

fn default() -> Assignment

Returns the “default value” for a type.

impl Eq for Assignment

impl Hash for Assignment

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Assignment

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Assignment