Main Page
Modules
Namespaces
Classes
Files
Directories
Related Pages
Decorating the dot output
[
Input/Output of TGBA
]
Classes
class
spot::dotty_decorator
Choose
state
and link styles for
spot::dotty_reachable
.
More...
class
spot::tgba_run_dotty_decorator
Highlight a
spot::tgba_run
on a
spot::tgba
.
More...
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Tue Jul 17 15:14:07 2007 for spot by
1.5.2