Explicit transitions (used by spot::tgba_explicit). More...
#include <tgba/tgbaexplicit.hh>
List of all members.
Explicit transitions (used by spot::tgba_explicit).