Type Alias BorrowedPetriNetSimulation 

pub type BorrowedPetriNetSimulation<'a> = BorrowedSimulation<'a, PetriNetInfo>;

A borrowed petri net simulation that holds an immutable reference to the petri net info and owns the simulation state.

Aliased Type

pub struct BorrowedPetriNetSimulation<'a> {
    pub state: State,
    /* private fields */
}

Fields

state: State

The simulation state.

Trait Implementations

impl SimulationExtensions for BorrowedPetriNetSimulation<'_>

fn token_count(&self, pid: Pid) -> usize

Returns the token count for the specified place in a borrowed simulation.