Trait circomspect_program_structure::static_single_assignment::traits::SSAConfig

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

type Version

The type used to track variable versions.

type Variable: PartialEq + Eq + Hash + Clone

The type of a variable.

type Environment: SSAEnvironment

An environment type used to track version across the CFG.

type Statement: SSAStatement<Self>

The type of a statement.

type BasicBlock: SSABasicBlock<Self> + DirectedGraphNode

The type of a basic block.

Implementors