spot::tgba_explicit::transition Struct Reference
Explicit transitions (used by spot::tgba_explicit).
More...
#include <tgba/tgbaexplicit.hh>
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 Fri Aug 13 14:43:30 2004 for spot by
1.3.8