Struct EquivalenceTable 

pub struct EquivalenceTable { /* private fields */ }

Maps expression hashes to equivalence class IDs.

Implementations

impl EquivalenceTable

pub fn new(capacity: usize) -> Self

Creates an empty table with pre-allocated capacity.

pub fn register(&mut self, hash: u64) -> usize

Registers a hash and returns its class ID.

pub fn merge(&mut self, h1: u64, h2: u64)

Merges the classes of h1 and h2.

pub fn equiv(&mut self, h1: u64, h2: u64) -> bool

Returns true if h1 and h2 are in the same class.