Struct pns::SimulatedNet

pub struct SimulatedNet {
    pub states: Vec<State>,
    // some fields omitted
}

A wrapper type for net to support managing multiple states for simulations.

Fields

states: Vec<State>

The states of the net. Cannot be changed directly.

Implementations

impl SimulatedNet

pub fn new() -> SimulatedNet

Create a new, empty petri net in simulated state.

pub fn load(filename: &str) -> Option<SimulatedNet>

Load a petri net from a file in simulated state.

pub fn from_net(net: Net) -> SimulatedNet

Convert a Net to a SimulatedNet for advanced simulation.

pub fn add_state(&mut self)

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

#[must_use]pub fn load_state(&mut self, filename: &str) -> Option<()>

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

pub fn state<'net>(&'net self, index: usize) -> SimulationState<'net>

Get the simulation state of a net at the specified index.

pub fn state_mut<'net>(&'net mut self, index: usize) -> SimulationStateMut<'net>

Get the simulation state of a net at the specified index.

pub fn len(&self) -> usize

Calculate the number of states.

pub fn release(self) -> Net

Release the Net from the SimulatedNet again. Destroys the simulation state.

Methods from Deref<Target = Net>

Trait Implementations

impl Clone for SimulatedNet

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Deref for SimulatedNet

type Target = Net

The resulting type after dereferencing.

fn deref(&self) -> &Net

Dereferences the value.

impl<'net> IntoIterator for &'net SimulatedNet

type Item = SimulationState<'net>

The type of the elements being iterated over.

type IntoIter = Iter<'net>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'net> IntoIterator for &'net mut SimulatedNet

type Item = SimulationStateMut<'net>

The type of the elements being iterated over.

type IntoIter = IterMut<'net>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl SafeNet for SimulatedNet

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

Save the petri net to a file. Result represents success.

fn transitions(&self) -> &[Node]

A slice of nodes representing the transitions of the petri net.

fn reusable_transition(&self) -> Option<u32>

Returns the index of the next reusable transition.

fn places(&self) -> &[Node]

A slice of nodes representing the places of the petri net.

fn reusable_place(&self) -> Option<u32>

Returns the index of the next reusable place.

fn initial_token_counts(&self) -> &[u32]

A slice of initial token counts for the places of the petri net.

fn add_place(&mut self) -> u32

Add a new place to the petri net and get the index.

fn add_transition(&mut self) -> u32

Add a new transition to the petri net and get the index.

fn add_connected_transition(&mut self, pids: &[u32]) -> u32

Add a new transition to the petri net, connct it to the specified places and get the index.

fn remove_place(&mut self, pid: u32)

Remove a place at index pid from petri net.

fn connect_out(&mut self, tid: u32, pid: u32) -> bool

Make a connection out from the transitoin with index tid to place with index pid. Result represents success.

fn disconnect_in(&mut self, tid: u32, pid: u32)

Make a connection into transition with index tid from place with index pid.

fn duplicate_transition(&mut self, tid: u32) -> u32

Duplicate the transition and get the index of the clone.

fn duplicate_place(&mut self, pid: u32) -> u32

Duplicate the place and get the index of the clone.

fn start(&mut self, pid: u32, count: u32) -> u32

Increase the initial token count in place indexed by pid.

fn dynamic(self) -> DynamicNet

Creates a dynamic net type from a net.