Trait circomspect_program_structure::static_single_assignment::traits::SSAEnvironment

source · [−]
pub trait SSAEnvironment {
    fn add_variable_scope(&mut self);
    fn remove_variable_scope(&mut self);
}
Expand description

An environment used to track variable versions across a CFG.

Required Methods

Enter variable scope.

Leave variable scope.

Implementors