Struct ScopedValueContext 

pub struct ScopedValueContext {
    pub stack: Vec<Vec<(LcnfVarId, ValueNumber)>>,
    pub current: HashMap<LcnfVarId, ValueNumber>,
}

A scoped context for GVN that supports push/pop for entering and leaving lexical scopes (case branches, let nesting).

Fields

stack: Vec<Vec<(LcnfVarId, ValueNumber)>>

Stack of (variable, value_number) pairs, one per scope level.

current: HashMap<LcnfVarId, ValueNumber>

Flat lookup: variable → current value number.

Implementations

impl ScopedValueContext

pub fn new() -> Self

pub fn push_scope(&mut self)

Enter a new scope (e.g., a case branch).

pub fn pop_scope(&mut self)

Exit the current scope, reverting all bindings added in it.

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

Bind var to vn in the current scope.

pub fn lookup(&self, var: &LcnfVarId) -> Option<ValueNumber>

Look up the VN for var, returning None if not in scope.

pub fn scope_depth(&self) -> usize

Trait Implementations

impl Debug for ScopedValueContext

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

Formats the value using the given formatter.

impl Default for ScopedValueContext

fn default() -> ScopedValueContext

Returns the “default value” for a type.