Struct pnets::standard::Transition [−][src]
pub struct Transition { pub name: String, pub label: String, pub consume: Marking<PlaceId>, pub produce: Marking<PlaceId>, pub deleted: bool, // some fields omitted }
Expand description
Transition with only production and consumption
Fields
name: String
Name of the transition
label: 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
Trait Implementations
Returns the “default value” for a type. Read more
Auto Trait Implementations
impl RefUnwindSafe for Transition
impl Send for Transition
impl Sync for Transition
impl Unpin for Transition
impl UnwindSafe for Transition
Blanket Implementations
Mutably borrows from an owned value. Read more