spot::evtgba_explicit::transition Struct Reference
Explicit transitions (used by spot::evtgba_explicit).
More...
#include <evtgba/explicit.hh>
Collaboration diagram for spot::evtgba_explicit::transition:
[legend]List of all members.
Detailed Description
Explicit transitions (used by spot::evtgba_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:23 2005 for spot by
1.4.0