Struct PlaceAnalysis 

pub struct PlaceAnalysis { /* private fields */ }

Analyzes all places in a Petri net for structural classification.

Implementations

impl PlaceAnalysis

pub fn from_net(net: &PetriNet) -> Self

Build place analysis from a PetriNet.

pub fn data(&self) -> &HashMap<String, PlaceAnalysisInfo>

Returns the analysis data.

pub fn is_start(&self, place_name: &str) -> bool

Returns true if the place is a start place (no incoming arcs).

pub fn is_end(&self, place_name: &str) -> bool

Returns true if the place is an end place (no outgoing arcs).

Trait Implementations

impl Clone for PlaceAnalysis

fn clone(&self) -> PlaceAnalysis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PlaceAnalysis

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

Formats the value using the given formatter.