spot::tgba_explicit::transition Struct Reference
Explicit transitions (used by spot::tgba_explicit).
More...
#include <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:
Generated on Tue Jun 29 17:01:45 2004 for spot by
1.3.7