Struct HallWitness 

pub struct HallWitness {
    pub items: Vec<usize>,
    pub slots: Vec<usize>,
}

A Hall-theorem certificate of infeasibility: items (the set S) can collectively reach only the slots in slots (a superset of N(S)), and slots.len() < items.len() — so by pigeonhole the items cannot be placed one-per-slot. Independently checkable via is_hall_witness.

Fields

items: Vec<usize>

The deficient item set S.

slots: Vec<usize>

Slots covering N(S), with slots.len() < items.len().

Trait Implementations

impl Clone for HallWitness

fn clone(&self) -> HallWitness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HallWitness

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

Formats the value using the given formatter.

impl Eq for HallWitness

impl PartialEq for HallWitness

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for HallWitness