Struct PrecompiledNet 

pub struct PrecompiledNet<'c> { /* private fields */ }

Precompiled flat-array net representation for the super::precompiled_executor::PrecompiledNetExecutor.

Compiles the net topology into flat arrays and operation sequences that eliminate HashMap lookups and enum pattern matching from the hot path.

Implementations

impl<'c> PrecompiledNet<'c>

pub fn from_compiled(compiled: &'c CompiledNet) -> Self

Compiles using an existing CompiledNet to reuse its masks and indices.

pub fn compiled(&self) -> &'c CompiledNet

Returns the underlying CompiledNet.

pub fn net(&self) -> &PetriNet

Returns the underlying PetriNet.

pub fn place(&self, pid: usize) -> &PlaceRef

Returns the place at the given ID.

pub fn transition(&self, tid: usize) -> &Transition

Returns the transition at the given compiled ID.

pub fn place_id(&self, name: &str) -> Option<usize>

Returns the place ID for a given place name.

pub fn place_count(&self) -> usize

Returns the number of places.

pub fn transition_count(&self) -> usize

Returns the number of transitions.

pub fn word_count(&self) -> usize

Returns the word count for bitmaps.

pub fn can_enable_bitmap(&self, tid: usize, marking_snapshot: &[u64]) -> bool

Sparse bitmap enablement check for a transition.

Trait Implementations

impl<'c> Debug for PrecompiledNet<'c>

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

Formats the value using the given formatter.