spot::taa_tgba::transition Member List

This is the complete list of members for spot::taa_tgba::transition, including all inherited members.

acceptance_conditions (defined in spot::taa_tgba::transition)	spot::taa_tgba::transition
condition (defined in spot::taa_tgba::transition)	spot::taa_tgba::transition
dst (defined in spot::taa_tgba::transition)	spot::taa_tgba::transition