Struct pns::State

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

The state of the petri net used for simulation.

Fields

net: &'net Net

A reference to the petri net

forward: bool

Check if current play direction is forward.

Methods

impl<'_> State<'_>

pub fn added_transitions(&mut self, forward: bool) -> Box<[u32]>

Get a list of newly fireable transitions in the specified direction since the last call of this method. Automatically clears that list.

pub fn removed_transitions(&mut self, forward: bool) -> Box<[u32]>

Get a list of nomore fireable transitions in the specified direction since the last call of this method. Automatically clears that list.

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<'_> Clone for State<'_>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.