Explicit transitions (used by spot::evtgba_explicit). More...
#include <evtgba/explicit.hh>
List of all members.
Explicit transitions (used by spot::evtgba_explicit).