Trait SimulationExtensions 

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

Extension trait for the simulation.

Required Methods

fn token_count(&self, pid: Id<Place>) -> usize

Implementations on Foreign Types

impl SimulationExtensions for BorrowedSimulation<'_, PetriNetInfo>

fn token_count(&self, pid: Id<Place>) -> usize

impl SimulationExtensions for OwnedSimulation<PetriNetInfo>

fn token_count(&self, pid: Id<Place>) -> usize

impl<R> SimulationExtensions for GenericSimulationBorrow<'_, PetriNetInfo, R>

where R: Deref<Target = State>,

fn token_count(&self, pid: Id<Place>) -> usize

Implementors