Struct Place 

pub struct Place {
    pub name: String,
    pub tokens: usize,
}

A place in a Petri net, holding a non-negative token count.

Fields

name: String

Human-readable name for the place.

tokens: usize

Current number of tokens in this place.

Implementations

impl Place

pub fn new(name: impl Into<String>) -> Self

Create a new place with zero tokens.

pub fn with_tokens(name: impl Into<String>, tokens: usize) -> Self

Create a new place with tokens initial tokens.

Trait Implementations

impl Clone for Place

fn clone(&self) -> Place

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Place

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

Formats the value using the given formatter.