spot::tgba_explicit::transition Struct Reference
Explicit transitions (used by spot::tgba_explicit).
More...
#include <tgba/tgbaexplicit.hh>
Collaboration diagram for spot::tgba_explicit::transition:
[legend]List of all members.
Detailed Description
Explicit transitions (used by spot::tgba_explicit).
Member Data Documentation
The documentation for this struct was generated from the following file:
Please comment this page and report errors about it on
the RefDocComments page.
Generated on Tue Jul 17 15:14:25 2007 for spot by
1.5.2