Struct pnets_tina::Exporter

pub struct Exporter<W> where
    W: Write,  { /* fields omitted */ }

Exporter for tina format.

It consume a network (pnets::timed::Net) and it write its representation in the writer.

Implementations

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

pub fn export(&mut self, net: &Net) -> Result<(), Box<dyn Error>>

Export a timed net