spot::ltl::nfa::transition Struct Reference
Explicit transitions.
More...
#include <ltlast/nfa.hh>
List of all members.
Detailed Description
Explicit transitions.
Member Data Documentation
The documentation for this struct was generated from the following file: