Struct MarkingState 

pub struct MarkingState { /* private fields */ }

Immutable snapshot of a Petri net marking for state space analysis.

Maps places by name to integer token counts. Only stores places with count > 0.

Implementations

impl MarkingState

pub fn new() -> Self

pub fn from_map(tokens: HashMap<String, usize>) -> Self

pub fn count(&self, place: &str) -> usize

Returns the token count for a place.

pub fn places(&self) -> impl Iterator<Item = (&str, usize)>

Returns all places with non-zero counts.

pub fn is_empty(&self) -> bool

Returns true if the marking is empty (no tokens anywhere).

pub fn total_tokens(&self) -> usize

Returns the total number of tokens across all places.

pub fn has_tokens_in_any(&self, place_names: &[&str]) -> bool

Returns true if this marking has tokens in any of the named places.

pub fn canonical_key(&self) -> String

Generates a canonical key for deduplication.

Trait Implementations

impl Clone for MarkingState

fn clone(&self) -> MarkingState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MarkingState

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

Formats the value using the given formatter.

impl Default for MarkingState

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for MarkingState

fn eq(&self, other: &MarkingState) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for MarkingState

impl StructuralPartialEq for MarkingState