Trait WriteDot
automata::dot
pub trait WriteDot: Write { fn write_dot<D: DotGraph>(&mut self, graph: D) -> Result<()> { ... } }
Extension to std::io::Write for writing dot graphs.
std::io::Write
fn write_dot<D: DotGraph>(&mut self, graph: D) -> Result<()>