Struct pnets::timed::Transition

pub struct Transition {
    pub label: Option<String>,
    pub time: TimeRange,
    pub conditions: Marking<PlaceId>,
    pub inhibitors: Marking<PlaceId>,
    pub consume: Marking<PlaceId>,
    pub produce: Marking<PlaceId>,
    pub priorities: Vec<TransitionId>,
    // some fields omitted
}

Represent a transition in the network

Fields

label: Option<String>

Label of the transition

time: TimeRange

Timerange of the transition

conditions: Marking<PlaceId>

Conditions of transition

inhibitors: Marking<PlaceId>

Inhibitors of the transition

consume: Marking<PlaceId>

Consumption of the transition

produce: Marking<PlaceId>

Production of the transition

priorities: Vec<TransitionId>

Priorities of the transitions (this transition must be activated before all transition in this vector)

Implementations

impl Transition

pub fn id(&self) -> TransitionId

Returns the id of the transition

pub fn is_disconnected(&self) -> bool

Returns true if this transition is disconnected from the network

Trait Implementations

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.