Explicit transitions. More...
#include <tgba/taatgba.hh>
List of all members.
Explicit transitions.
Referenced by spot::taa_tgba_labelled< std::string, string_hash >::add_acceptance_condition(), and spot::taa_tgba_labelled< std::string, string_hash >::create_transition().
Referenced by spot::taa_tgba_labelled< std::string, string_hash >::create_transition().