Struct pns::SimulatedNet

pub struct SimulatedNet { /* fields omitted */ }

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

Methods

impl SimulatedNet

pub fn new(net: Net) -> SimulatedNet

Convert a Net to a SimulatedNet for advanced simulation.

pub fn with_ref<'net, F: FnMut(&'net Net, &Vec<State<'net>>)>(&self, f: F) where
    Self: 'net, 

Call methods on the net and and a vector of states of it. To fill the vector use with.

pub fn with<'net, F: FnMut(&'net Net, &mut Vec<State<'net>>)>(&mut self, f: F) where
    Self: 'net, 

Call methods on the net and and a mutable vector of states of it. This way new states can be added to the vector.

pub fn add<'net, F: FnMut(&'net Net) -> State<'net>>(&mut self, f: F) where
    Self: 'net, 

Supply a closure to it, which takes a reference to a net nad create a state to be added. This way it's even easier to add elements to a net.

pub fn add_state<'net>(&mut self) where
    Self: 'net, 

A simple way to add a default state to the net.

pub fn len(&self) -> usize

Calculate the number of states.

pub fn states<'net>(&'net self) -> &[State<'net>]

Access all states.

pub fn states_mut<'net>(&'net mut self) -> &mut [State<'net>]

Access all states mutable.

pub fn release(self) -> Net

Release the Net from the SimulatedNet again.

Methods from Deref<Target = Net>

Trait Implementations

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 places(&self) -> &[Node]

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

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.

impl Deref for SimulatedNet

type Target = Net

The resulting type after dereferencing.

fn deref(&self) -> &Net

Dereferences the value.