Struct Transition 

pub struct Transition {
    pub name: String,
    pub guard: Option<fn(&[usize]) -> bool>,
}

A transition in a Petri net, optionally guarded by a predicate over the token counts of the places it consumes from.

Fields

name: String

Human-readable name for the transition.

guard: Option<fn(&[usize]) -> bool>

Optional guard function: receives current token counts for every input arc (in place-index order) and returns true iff the transition is allowed to fire.

Implementations

impl Transition

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

Create a new unguarded transition.

pub fn with_guard(name: impl Into<String>, guard: fn(&[usize]) -> bool) -> Self

Create a new guarded transition.

Trait Implementations

impl Clone for Transition

fn clone(&self) -> Transition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Transition

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

Formats the value using the given formatter.