Limi::dot_printer< State, Symbol, Implementation > Class Template Reference

Prints automata in dot format. More...

#include <dot_printer.h>

Public Member Functions
void	print_dot (const Automaton &automaton, std::ostream &out)
	Prints the automaton to the ostream out. More...
void	print_dot (const automaton< State, Symbol, Implementation > &automaton, const std::string &filename)
	Writes the automaton to a file. More...

Detailed Description

template<class State, class Symbol, class Implementation>
class Limi::dot_printer< State, Symbol, Implementation >

Prints automata in dot format.

Only for small automata it makes sense to print them in dot format.

Template Parameters

State	The class of states.
Symbol	The class of symbols.
Implementation	The automata implementation class.

Member Function Documentation

template<class State , class Symbol , class Implementation >

void Limi::dot_printer< State, Symbol, Implementation >::print_dot ( const Automaton &  automaton, std::ostream &  out  )

inline

Prints the automaton to the ostream out.

Parameters

automaton	The automaton to print
out	The output stream to print to

template<class State , class Symbol , class Implementation >

void Limi::dot_printer< State, Symbol, Implementation >::print_dot ( const automaton< State, Symbol, Implementation > &  automaton, const std::string &  filename  )

inline

Writes the automaton to a file.

Parameters

automaton	The automaton to print
filename	Filename to write the automaton to. Will be overwritten if exists.

---

The documentation for this class was generated from the following file:

• Limi/dot_printer.h