Struct AvailableSet 

pub struct AvailableSet { /* private fields */ }

The set of expressions available at a given program point.

This is essentially the “out” set from classical data-flow analysis, maintained as a simple hash map from expression key to the variable holding the result.

Implementations

impl AvailableSet

pub fn new() -> Self

pub fn insert( &mut self, key: ExprKey, var_id: LcnfVarId, name: String, depth: usize, )

Insert a newly computed expression into the available set.

pub fn find(&self, key: &ExprKey) -> Option<LcnfVarId>

Look up whether key is already available, returning the variable that holds its value if so.

pub fn kill_above_depth(&mut self, kill_depth: usize)

Invalidate all entries introduced at depth >= kill_depth. Used when leaving a case branch scope.

pub fn len(&self) -> usize

Number of available expressions.

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for AvailableSet

fn clone(&self) -> AvailableSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AvailableSet

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

Formats the value using the given formatter.

impl Default for AvailableSet

fn default() -> AvailableSet

Returns the “default value” for a type.