Struct pns::SimulationStateMut

pub struct SimulationStateMut<'net> {
    pub state: &'net mut State,
    // some fields omitted
}

A simulation state combined with the net it belongs to, ready for simualtion.

Fields

state: &'net mut State

The real state value.

Implementations

impl<'net> SimulationStateMut<'net>

pub fn save(&self, filename: &str) -> bool

Save the current state of the simulation.

pub fn call_counts(&self) -> &[u32]

List the current call counts of all transitions. Counts are counted down again when playing backwards.

pub fn token_counts(&self) -> &[u32]

List the current token counts of all transitions.

pub fn fire<'state>(&'state mut self) -> FireState<'net, 'state>

Generate a FireState to fire a transition later.

pub fn unfire<'state>(&'state mut self) -> FireState<'net, 'state>

Generate a FireState to unfire a transition later.

pub unsafe fn fire_unchecked(&mut self, tid: u32)

Just fire the transition tid. Caution: Be sure to fire only, when you know a transition to be fireable.

pub unsafe fn unfire_unchecked(&mut self, tid: u32)

Just unfire the transition tid. Caution: Be sure to unfire only, when you know a transition to be unfireable.