Struct pnets::standard::Place

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
}

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

impl Place

pub fn id(&self) -> PlaceId

Returns the id of the place

pub fn is_disconnected(&self) -> bool

Returns true if this place is disconnected from the network

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

Generate a vector over all arcs connected to this place

Trait Implementations

impl Clone for Place

fn clone(&self) -> Place

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

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.