Trait seec::circuit::LayerIterable

pub trait LayerIterable {
    type Layer;
    type LayerIter<'this>: Iterator<Item = Self::Layer>
       where Self: 'this;

    // Required method
    fn layer_iter(&self) -> Self::LayerIter<'_>;
}

Required Associated Types

type Layer

type LayerIter<'this>: Iterator<Item = Self::Layer> where Self: 'this

Required Methods

fn layer_iter(&self) -> Self::LayerIter<'_>

Object Safety

This trait is not object safe.

Implementors

impl<P, G: Gate<P>, Idx: GateIdx, W: Wire> LayerIterable for BaseCircuit<P, G, Idx, W>

type Layer = CircuitLayer<G, Idx>

type LayerIter<'this> = BaseLayerIter<'this, P, G, Idx, W> where Self: 'this