Struct EquivClassSystem 

pub struct EquivClassSystem { /* private fields */ }

Equivalence class representative system.

Given an equivalence relation, this tracks canonical representatives for each equivalence class using a union-find style approach.

Implementations

impl EquivClassSystem

pub fn new() -> Self

Create an empty system.

pub fn insert(&mut self, expr: Expr)

Register expr as its own representative (singleton class).

pub fn merge(&mut self, a: &Expr, b: &Expr)

Merge the classes of a and b (choosing a as canonical).

pub fn rep_of(&self, expr: &Expr) -> Option<Expr>

Look up the representative of expr.

pub fn same_class(&self, a: &Expr, b: &Expr) -> bool

Check whether a and b have the same representative.

pub fn len(&self) -> usize

Number of registered expressions.

pub fn is_empty(&self) -> bool

Check if empty.

Trait Implementations

impl Clone for EquivClassSystem

fn clone(&self) -> EquivClassSystem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EquivClassSystem

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

Formats the value using the given formatter.

impl Default for EquivClassSystem

fn default() -> EquivClassSystem

Returns the “default value” for a type.