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.

Implementations on Foreign Types

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

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

Implementors

impl SimulationExtensions for BorrowedPetriNetSimulation<'_>

impl SimulationExtensions for PetriNetSimulation