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 Mon Jan 31 12:55:37 2005 for spot by
1.4.0