Struct CapHallWitness 

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

A capacitated Hall certificate: the items in S can only reach the slots in slots, whose total capacity is strictly less than |S| — so they cannot all be placed. Re-checkable via is_cap_hall_witness.

Fields

items: Vec<usize>

The deficient item set S.

slots: Vec<usize>

Slots covering N(S), with Σ capacities[s] < |S|.

Trait Implementations

impl Clone for CapHallWitness

fn clone(&self) -> CapHallWitness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CapHallWitness

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

Formats the value using the given formatter.

impl PartialEq for CapHallWitness

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

impl StructuralPartialEq for CapHallWitness