Struct ElementaryNetBuilder 

pub struct ElementaryNetBuilder { /* private fields */ }

Trait Implementations

impl Debug for ElementaryNetBuilder

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

Formats the value using the given formatter.

impl Default for ElementaryNetBuilder

fn default() -> ElementaryNetBuilder

Returns the “default value” for a type.

impl NetBuilder for ElementaryNetBuilder

type Place = SimplePlace

type Transition = SimpleTransition

type Arc = SimpleArc

type Net = ElementaryNet

type PlaceBuilder = SimplePlaceBuilder

type TransitionBuilder = SimpleTransitionBuilder

fn place(&mut self) -> Self::PlaceBuilder

fn place_with_id(&mut self, id: &NodeId) -> Self::PlaceBuilder

fn recall_place(&mut self, tag: &'static str) -> Self::PlaceBuilder

fn transition(&mut self) -> Self::TransitionBuilder

fn transition_with_id(&mut self, id: &NodeId) -> Self::TransitionBuilder

fn recall_transition(&mut self, tag: &'static str) -> Self::TransitionBuilder

fn arc(&mut self, source: NodeId, target: NodeId) -> &mut Self

fn recall(&self, tag: &'static str) -> Option<NodeId>

fn build(self) -> Self::Net