Struct pnets_tina::ExporterBuilder

pub struct ExporterBuilder<W: Write> { /* fields omitted */ }

Create a new tina exporter from parameters

Implementations

impl<W> ExporterBuilder<W> where
    W: Write, 

pub fn new(writer: W) -> Self

Create a new builder

By default all disconnected transitions and places are exported

pub fn with_disconnected_transitions(
    self,
    without_disconnected_transitions: bool
) -> Self

Set if export should keep all disconnected transition or not

pub fn with_all_places(self, with_all_places: bool) -> Self

Set if export should contains all places or not

pub fn build(self) -> Exporter<W>

Build the exporter