spot
1.1.4
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Classes
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...
Detailed Description
Please direct any
question
,
comment
, or
bug report
to the Spot mailing list at
spot@lrde.epita.fr
.
Generated on Mon Jul 29 2013 00:27:25 for spot by
1.8.4