Struct LeaderFinder 

pub struct LeaderFinder { /* private fields */ }

Finds the leader of an equivalence class — the canonical variable that dominates all other members of the class.

In LCNF, dominance is determined by binding order (earlier binding dominates later bindings in the same scope).

Implementations

impl LeaderFinder

pub fn new() -> Self

pub fn record(&mut self, vn: ValueNumber, var: LcnfVarId)

Record that var belongs to equivalence class vn.

pub fn leader(&self, vn: ValueNumber) -> Option<LcnfVarId>

Return the leader of the equivalence class for vn.

pub fn members(&self, vn: ValueNumber) -> &[LcnfVarId]

Return all members of the equivalence class for vn.

pub fn num_redundancies(&self) -> usize

Return the number of non-singleton equivalence classes.

Trait Implementations

impl Debug for LeaderFinder

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

Formats the value using the given formatter.

impl Default for LeaderFinder

fn default() -> LeaderFinder

Returns the “default value” for a type.