Struct Transition 

pub struct Transition { /* private fields */ }

A transition in the Time Petri Net that transforms tokens.

Transitions use identity-based equality (TransitionId) — each instance is unique regardless of name. The name is purely a label for display/debugging/export.

Implementations

impl Transition

pub fn id(&self) -> TransitionId

Returns the unique transition ID.

pub fn name(&self) -> &str

Returns the transition name.

pub fn name_arc(&self) -> &Arc<str>

Returns the name as Arc.

pub fn input_specs(&self) -> &[In]

Returns the input specifications.

pub fn output_spec(&self) -> Option<&Out>

Returns the output specification, if any.

pub fn inhibitors(&self) -> &[Inhibitor]

Returns the inhibitor arcs.

pub fn reads(&self) -> &[Read]

Returns the read arcs.

pub fn resets(&self) -> &[Reset]

Returns the reset arcs.

pub fn timing(&self) -> &Timing

Returns the timing specification.

pub fn action_timeout(&self) -> Option<u64>

Returns the action timeout in ms, if any.

pub fn has_action_timeout(&self) -> bool

Returns true if this transition has an action timeout.

pub fn action(&self) -> &BoxedAction

Returns the transition action.

pub fn priority(&self) -> i32

Returns the priority (higher fires first).

pub fn input_places(&self) -> &HashSet<PlaceRef>

Returns set of input place refs (consumed tokens).

pub fn read_places(&self) -> &HashSet<PlaceRef>

Returns set of read place refs (context tokens, not consumed).

pub fn output_places(&self) -> &HashSet<PlaceRef>

Returns set of output place refs (where tokens are produced).

pub fn builder(name: impl Into<Arc<str>>) -> TransitionBuilder

Creates a new TransitionBuilder.

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.

impl Display for Transition

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

Formats the value using the given formatter.

impl Hash for Transition

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Transition

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 Transition