Enum FlattenEvent 

pub enum FlattenEvent {
    Measurement {
        original: u32,
        emitted: u32,
    },
    LoopEnter {
        body: BodyId,
    },
    IterationEnd {
        body: BodyId,
    },
    LoopExit {
        body: BodyId,
    },
}

A replay step produced by CoordCircuit::flatten.

Events appear in emission order. Side-table owners replay them to re-scope loop-relative annotations onto the unrolled circuit.

Variants

Measurement

A measurement occurrence was emitted: the pre-flatten id original occurs here as emitted. Every occurrence except the last gets a fresh id; the final occurrence keeps emitted == original, so a pre-flatten id read from outside a loop (a top-level detector, a boundary flow, an instance-space parity) still names the same record the emission frame’s latest-occurrence rule resolved it to.

Fields

original: u32

Measurement id before flattening.

emitted: u32

Measurement id assigned to this occurrence.

LoopEnter

A REPEAT over body with at least one repetition began unrolling. Loop-carried states resolve their initial parity here, before the first iteration’s measurements shadow anything they reference.

Fields

body: BodyId

Body whose expansion begins.

IterationEnd

One unrolled iteration of body finished. Body-scoped detectors are due here, then loop-carried states advance by their next parity.

Fields

body: BodyId

Body whose iteration ended.

LoopExit

A REPEAT over body finished. Side-table replay uses this to close the loop-state frame and expose only this loop’s declared final states to its parent scope.

Fields

body: BodyId

Body whose expansion ended.

Trait Implementations

impl Clone for FlattenEvent

fn clone(&self) -> FlattenEvent

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for FlattenEvent

impl Debug for FlattenEvent

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for FlattenEvent

impl PartialEq for FlattenEvent

fn eq(&self, other: &FlattenEvent) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FlattenEvent