Struct CompiledNet 

pub struct CompiledNet { /* private fields */ }

Integer-indexed, precomputed representation of a PetriNet for bitmap-based execution.

Uses u64 bitmasks (64 bits per word) for O(W) enablement checks where W = ceil(place_count / 64).

Implementations

impl CompiledNet

pub fn compile(net: &PetriNet) -> Self

Compiles a PetriNet into an optimized bitmap representation.

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_id_or_panic(&self, name: &str) -> usize

Returns the place ID, panicking if not found.

pub fn affected_transitions(&self, pid: usize) -> &[usize]

Returns affected transition IDs for a place.

pub fn consumption_place_ids(&self, tid: usize) -> &[usize]

Returns consumption place IDs for a transition.

pub fn cardinality_check(&self, tid: usize) -> Option<&CardinalityCheck>

Returns the cardinality check for a transition, if any.

pub fn has_guards(&self, tid: usize) -> bool

Returns whether a transition has guard predicates.

pub fn needs_mask(&self, tid: usize) -> &[u64]

Returns the needs mask slice for a transition.

pub fn inhibitor_mask(&self, tid: usize) -> &[u64]

Returns the inhibitor mask slice for a transition.

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

Two-phase bitmap enablement check for a transition:

1. Presence check: verifies all required places have tokens
2. Inhibitor check: verifies no inhibitor places have tokens

This is a necessary but not sufficient condition — cardinality and guard checks are performed separately by the executor for transitions that pass this fast path.

Trait Implementations

impl Clone for CompiledNet

fn clone(&self) -> CompiledNet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompiledNet

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

Formats the value using the given formatter.