Struct PortConnectivityBuilder 

pub struct PortConnectivityBuilder<TS> { /* private fields */ }

Append-only accumulation of port summaries, prior to canonicalization.

Summaries may be introduced in any order, and repeatedly for the same port. The freeze method canonicalizes the accumulation into a PortConnectivity, which is the only way to read the contents back out.

Implementations

impl<TS> PortConnectivityBuilder<TS>

pub fn insert(&mut self, index: usize, element: TS)

Inserts a summary element for index.

Equivalent to add_port with a single-element antichain.

pub fn add_port(&mut self, port: usize, summary: Antichain<TS>)

Introduces a summary for port, which freeze will merge with any other summaries for the same port.

Summaries for the same port are merged by antichain insertion, and describe the union of the claimed paths. Empty summaries are discarded.

pub fn freeze(self) -> PortConnectivity<TS>

where TS: PartialOrder,

Canonicalizes the accumulated summaries into a readable PortConnectivity.

Duplicate ports are merged by antichain insertion, whose result is independent of the order in which elements were introduced.

Trait Implementations

impl<TS: Clone> Clone for PortConnectivityBuilder<TS>

fn clone(&self) -> PortConnectivityBuilder<TS>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<TS: Debug> Debug for PortConnectivityBuilder<TS>

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

Formats the value using the given formatter.

impl<TS> Default for PortConnectivityBuilder<TS>

fn default() -> Self

Returns the “default value” for a type.

impl<TS> FromIterator<(usize, Antichain<TS>)> for PortConnectivityBuilder<TS>

fn from_iter<T>(iter: T) -> Self

where T: IntoIterator<Item = (usize, Antichain<TS>)>,

Creates a value from an iterator.