Struct pnets::standard::Place [−][src]
pub struct Place { pub label: Option<String>, pub initial: usize, pub produced_by: Marking<TransitionId>, pub consumed_by: Marking<TransitionId>, pub deleted: bool, // some fields omitted }
Expand description
Place with only producers and consumers
Fields
label: Option<String>
Label of the place
initial: usize
Initial value of the place
produced_by: Marking<TransitionId>
Transitions that produce this place
consumed_by: Marking<TransitionId>
Transitions that consume this place
deleted: bool
This place is disconnected from the network and only kept to avoid index problems
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Place
impl UnwindSafe for Place
Blanket Implementations
Mutably borrows from an owned value. Read more