Struct ElementaryNet 

pub struct ElementaryNet { /* private fields */ }

A simple implementation of an Elementary net (EN) with no extensions.

Trait Implementations

impl Debug for ElementaryNet

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

Formats the value using the given formatter.

impl Default for ElementaryNet

fn default() -> ElementaryNet

Returns the “default value” for a type.

impl From<&ElementaryNet> for SimpleMarking

fn from(net: &ElementaryNet) -> Self

Converts to this type from the input type.

impl Net for ElementaryNet

type Place = SimplePlace

type Transition = SimpleTransition

type Arc = SimpleArc

fn places(&self) -> Vec<&Self::Place>

fn place(&self, id: &NodeId) -> Option<&Self::Place>

fn place_mut(&mut self, id: &NodeId) -> Option<&mut Self::Place>

fn transitions(&self) -> Vec<&Self::Transition>

fn transition(&self, id: &NodeId) -> Option<&Self::Transition>

fn transition_mut(&mut self, id: &NodeId) -> Option<&mut Self::Transition>

fn arcs(&self) -> Vec<&Self::Arc>

fn inputs(&self, id: &NodeId) -> Vec<&NodeId>

fn outputs(&self, id: &NodeId) -> Vec<&NodeId>

fn add_place(&mut self) -> NodeId

fn add_labeled_place<S>(&mut self, label: S) -> NodeId

where S: Into<String>,

fn add_transition(&mut self) -> NodeId

fn add_labeled_transition<S>(&mut self, label: S) -> NodeId

where S: Into<String>,

fn add_arc(&mut self, source: NodeId, target: NodeId)