getPatternName() | cz::muni::stanse::automatonchecker::XMLTransitionRule | [inline, package] |
transformAutomatonState(final AutomatonState state, final SimpleAutomatonID simpleID) | cz::muni::stanse::automatonchecker::XMLTransitionRule | [inline, package] |
XMLTransitionRule(final org.dom4j.Element XMLtransitionElement) | cz::muni::stanse::automatonchecker::XMLTransitionRule | [inline, package] |