Trait SimulationExtensions 

pub trait SimulationExtensions {
    // Required method
    fn token_count(&self, pid: Pid) -> usize;
}

Extension trait for the petri net simulation.

Required Methods

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

Returns the token count for the specified place.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<R: Deref<Target = State>> SimulationExtensions for SimulationBorrow<'_, PetriNetInfo, R>

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

Implementors

impl SimulationExtensions for BorrowedPetriNetSimulation<'_>

impl SimulationExtensions for PetriNetSimulation