spot  1.0.2
Namespaces | Functions
dotty.hh File Reference
#include <iosfwd>
Include dependency graph for dotty.hh:

Go to the source code of this file.

Namespaces

namespace  spot

Functions

std::ostream & spot::dotty_reachable (std::ostream &os, const tgba *g, bool assume_sba=false, dotty_decorator *dd=0)
 Print reachable states in dot format.If assume_sba is set, this assumes that the automaton is an SBA and use double elipse to mark accepting states.

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2