cz::muni::stanse::automatonchecker::XMLTransitionRule Class Reference

Collaboration diagram for cz::muni::stanse::automatonchecker::XMLTransitionRule:

[legend]

List of all members.

Package Functions
	XMLTransitionRule (final org.dom4j.Element XMLtransitionElement) throws XMLAutomatonSyntaxErrorException
String	getPatternName ()
Pair< Boolean, AutomatonState >	transformAutomatonState (final AutomatonState state, final SimpleAutomatonID simpleID)

---

Detailed Description

See also:

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::XMLTransitionRule::XMLTransitionRule

(

final org.dom4j.Element

XMLtransitionElement

)

throws XMLAutomatonSyntaxErrorException [inline, package]

---

Member Function Documentation

String cz::muni::stanse::automatonchecker::XMLTransitionRule::getPatternName

(

)

[inline, package]

Pair<Boolean,AutomatonState> cz::muni::stanse::automatonchecker::XMLTransitionRule::transformAutomatonState	(	final AutomatonState	state,
		final SimpleAutomatonID	simpleID
	)			[inline, package]

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/automatonchecker/XMLTransitionRule.java