circomspect_program_structure::static_single_assignment::traits

Trait 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.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§