Struct pnets_tina::ExporterBuilder [−][src]
pub struct ExporterBuilder<W: Write> { /* fields omitted */ }
Expand description
Create a new tina exporter from parameters
Implementations
Create a new builder
By default all disconnected transitions and places are exported
Set if export should keep all disconnected transition or not
Set if export should contains all places or not