Struct Partition 

pub struct Partition { /* private fields */ }

A partition of premises into A-side and B-side.

Implementations

impl Partition

pub fn new( a_premises: impl IntoIterator<Item = PremiseId>, b_premises: impl IntoIterator<Item = PremiseId>, ) -> Self

Create a new partition.

pub fn is_a_premise(&self, premise: PremiseId) -> bool

Check if a premise is in the A partition.

pub fn is_b_premise(&self, premise: PremiseId) -> bool

Check if a premise is in the B partition.

pub fn a_premises(&self) -> &FxHashSet<PremiseId>

Get all A premises.

pub fn b_premises(&self) -> &FxHashSet<PremiseId>

Get all B premises.

Trait Implementations

impl Clone for Partition

fn clone(&self) -> Partition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Partition

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

Formats the value using the given formatter.