Trait circomspect_program_structure::static_single_assignment::traits::SSAConfig

source · 
pub trait SSAConfig: Sized {
    type Version;
    type Variable: PartialEq + Eq + Hash + Clone;
    type Environment: SSAEnvironment;
    type Statement: SSAStatement<Self>;
    type BasicBlock: SSABasicBlock<Self> + DirectedGraphNode;
}

Required Associated Types§

source

type Version

The type used to track variable versions.

source

type Variable: PartialEq + Eq + Hash + Clone

The type of a variable.

source

type Environment: SSAEnvironment

An environment type used to track version across the CFG.

source

type Statement: SSAStatement<Self>

The type of a statement.

source

type BasicBlock: SSABasicBlock<Self> + DirectedGraphNode

The type of a basic block.

Implementors§