Struct pns::Net

#[repr(C)]
pub struct Net {
    pub transition_count: u32,
    pub place_count: u32,
    // some fields omitted
}

A type representing a petri net. It only stores the initial state, not the state used for simulatoin.

Fields

transition_count: u32

The count of transitions of the petri net

place_count: u32

The count of places of the petri net

Methods

impl Net

pub fn new() -> Net

Create a new, empty petri net.

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

Load a petri net from a file.

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

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

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

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

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

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

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

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

pub fn add_transition(&mut self) -> u32

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

pub fn add_place(&mut self) -> u32

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

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

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

pub 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.

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

Duplicate the transition and get the index of the clone.

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

Duplicate the place and get the index of the clone.

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

Increase the initial token count in place indexed by pid.

Trait Implementations

impl Drop for Net

fn drop(&mut self)

Executes the destructor for this type.

impl Debug for Net

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

Formats the value using the given formatter.