Struct Partition 

pub struct Partition { /* private fields */ }

Set partition of terms.

Implementations

impl Partition

pub fn finest(terms: &[TermId]) -> Self

Create finest partition (all singletons).

pub fn coarsest(terms: &[TermId]) -> Self

Create coarsest partition (all terms in one class).

pub fn merge(&mut self, t1: TermId, t2: TermId) -> Result<(), String>

Merge two classes.

pub fn get_equalities(&self) -> Vec<Equality>

Get all equalities implied by this partition.

pub fn num_classes(&self) -> usize

Get number of non-empty classes.

pub fn are_equal(&self, t1: TermId, t2: TermId) -> bool

Check if two terms are in the same class.

pub fn get_representative(&self, term: TermId) -> Option<TermId>

Get representative for a term.

pub fn get_class(&self, term: TermId) -> Option<&FxHashSet<TermId>>

Get all terms in the same class as a term.

pub fn clone_partition(&self) -> Partition

Clone partition.

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.