cz::muni::stanse::automatonchecker::TransitionRule Member List

This is the complete list of members for cz::muni::stanse::automatonchecker::TransitionRule, including all inherited members.

getAutomatonID()	cz::muni::stanse::automatonchecker::TransitionRule	[inline, package]
transformAutomatonState(final AutomatonState state)	cz::muni::stanse::automatonchecker::TransitionRule	[inline, package]
TransitionRule(final XMLTransitionRule XMLrule, final SimpleAutomatonID automatonID)	cz::muni::stanse::automatonchecker::TransitionRule	[inline, package]