Struct pnets::standard::Transition

pub struct Transition {
    pub label: Option<String>,
    pub consume: Marking<PlaceId>,
    pub produce: Marking<PlaceId>,
    pub deleted: bool,
    // some fields omitted
}

Transition with only production and consumption

Fields

label: Option<String>

Label of the transition

consume: Marking<PlaceId>

Consumption of the transition

produce: Marking<PlaceId>

Production of the transition

deleted: bool

This transition is disconnected from the network and only kept to avoid index problems

Implementations

impl Transition

pub fn id(&self) -> TransitionId

Return the id of the transition

pub fn is_disconnected(&self) -> bool

Returns true if this transition is disconnected from the network

pub fn get_arcs(&self) -> Vec<Kind>

Get all arcs of this transition

Trait Implementations

impl Clone for Transition

fn clone(&self) -> Transition

Returns a copy 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 Default for Transition

fn default() -> Transition

Returns the “default value” for a type.