Struct Marking 

pub struct Marking { /* private fields */ }

Mutable token state of a Petri net during execution.

Stores type-erased tokens in FIFO queues keyed by place name.

Implementations

impl Marking

pub fn new() -> Self

pub fn add<T: Send + Sync + 'static>( &mut self, place: &Place<T>, token: Token<T>, )

Adds a typed token to a place.

pub fn add_erased(&mut self, place_name: &Arc<str>, token: ErasedToken)

Adds a type-erased token to a place by name.

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

Returns the number of tokens in a place.

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

Returns true if a place has any tokens.

pub fn peek<T: Send + Sync + 'static>(&self, place: &Place<T>) -> Option<Arc<T>>

Peeks at the first token value in a place without removing it.

pub fn remove_first(&mut self, place_name: &str) -> Option<ErasedToken>

Removes and returns the first token from a place (FIFO).

pub fn remove_matching( &mut self, place_name: &str, guard: &dyn Fn(&dyn Any) -> bool, ) -> Option<ErasedToken>

Removes and returns the first token matching a guard predicate.

pub fn remove_all(&mut self, place_name: &str) -> Vec<ErasedToken>

Removes and returns all tokens from a place.

pub fn remove_all_matching( &mut self, place_name: &str, guard: &dyn Fn(&dyn Any) -> bool, ) -> Vec<ErasedToken>

Removes and returns all tokens matching a guard predicate.

pub fn count_matching( &self, place_name: &str, guard: &dyn Fn(&dyn Any) -> bool, ) -> usize

Counts tokens matching a guard predicate.

pub fn token_counts(&self) -> HashMap<Arc<str>, usize>

Returns the internal token map (for snapshot/event purposes).

pub fn non_empty_places(&self) -> Vec<Arc<str>>

Returns all place names that have tokens.

pub fn queue(&self, place_name: &str) -> Option<&VecDeque<ErasedToken>>

Returns the raw queue for a place (for executor internal use).

Trait Implementations

impl Debug for Marking

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

Formats the value using the given formatter.

impl Default for Marking

fn default() -> Marking

Returns the “default value” for a type.