Struct pnets::timed::Place

pub struct Place {
    pub label: Option<String>,
    pub initial: usize,
    pub produced_by: Marking<TransitionId>,
    pub consumed_by: Marking<TransitionId>,
    pub condition_for: Marking<TransitionId>,
    pub inhibitor_for: Marking<TransitionId>,
    // some fields omitted
}

Representation of a timed place

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

condition_for: Marking<TransitionId>

Transitions that has condition on this place

inhibitor_for: Marking<TransitionId>

Transitions that has inhibitor on this place

Implementations

impl Place

pub fn id(&self) -> PlaceId

Return the id of the place

pub fn is_disconnected(&self) -> bool

Disconnect a place from the network

Trait Implementations

impl Debug for Place

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

Formats the value using the given formatter.

impl Default for Place

fn default() -> Place

Returns the “default value” for a type.