Struct PrecompiledNetExecutor 

pub struct PrecompiledNetExecutor<'a, E: EventStore> { /* private fields */ }

High-performance precompiled flat-array Petri net executor.

Uses ring-buffer token storage, opcode-based consume operations, priority-partitioned ready queues, and two-level summary bitmaps for sparse iteration. Generic over E: EventStore for zero-cost noop event recording.

Implementations

impl<'a, E: EventStore> PrecompiledNetExecutor<'a, E>

pub fn builder( program: &'a PrecompiledNet<'a>, initial_marking: Marking, ) -> PrecompiledExecutorBuilder<'a, E>

Creates a builder for a PrecompiledNetExecutor.

pub fn new(program: &'a PrecompiledNet<'a>, initial_marking: Marking) -> Self

Creates a new executor with default options.

pub fn run_sync(&mut self) -> Marking

Runs the executor synchronously until completion. Returns the final marking (materialized from ring buffers).

pub fn marking(&self) -> Marking

Returns the materialized marking (synced from ring buffers).

pub fn event_store(&self) -> &E

Returns a reference to the event store.

pub fn is_quiescent(&self) -> bool

Returns true if the executor is quiescent.