spot::transition_info Member List

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

group (defined in spot::transition_info)	spot::transition_info
labels (defined in spot::transition_info)	spot::transition_info