Struct pns::State

#[repr(C)]
pub struct State<'net> {
    pub net: &'net Net,
    // some fields omitted
}

The state of the petri net used for simulation.

Fields

net: &'net Net

A reference to the petri net

Methods

impl<'net> State<'net>

pub fn new(net: &'net Net) -> State<'net>

Create a new, empty state for simulation of a petri net. The state is bound to the lifetime of the simulated net.

pub fn load(net: &'net Net, filename: &str) -> Option<State<'net>>

Load a simulation state from a file. Using the wrong file layout will fail or create confusing state.

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 reverse(&mut self) -> bool

Reverse the play direction. Result represents forward.

Trait Implementations

impl<'_> Drop for State<'_>

fn drop(&mut self)

Executes the destructor for this type.

impl<'net> Debug for State<'net>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.