Struct StateClass 

pub struct StateClass {
    pub marking: MarkingState,
    pub dbm: Dbm,
    pub enabled_transitions: Vec<String>,
}

A state class: pair of (M: marking, D: firing domain DBM).

Provides a finite abstraction of the infinite Time Petri Net state space.

Fields

marking: MarkingState

dbm: Dbm

enabled_transitions: Vec<String>

Implementations

impl StateClass

pub fn new( marking: MarkingState, dbm: Dbm, enabled_transitions: Vec<String>, ) -> Self

pub fn is_empty(&self) -> bool

Returns true if the firing domain is empty.

pub fn can_fire(&self, clock_idx: usize) -> bool

Returns whether transition at the given clock index can fire.

pub fn transition_index(&self, name: &str) -> Option<usize>

Looks up a transition clock index by name.

pub fn canonical_key(&self) -> String

Generates a canonical key for deduplication.

Trait Implementations

impl Clone for StateClass

fn clone(&self) -> StateClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateClass

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

Formats the value using the given formatter.

impl PartialEq for StateClass

fn eq(&self, other: &Self) -> 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 StateClass