cz::muni::stanse::automatonchecker::TransitionRule Class Reference

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

[legend]

List of all members.

Package Functions
	TransitionRule (final XMLTransitionRule XMLrule, final SimpleAutomatonID automatonID)
Pair< Boolean, AutomatonState >	transformAutomatonState (final AutomatonState state)
SimpleAutomatonID	getAutomatonID ()

---

Detailed Description

See also:

---

Constructor & Destructor Documentation

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

---

Member Function Documentation

Pair< Boolean,AutomatonState> cz::muni::stanse::automatonchecker::TransitionRule::transformAutomatonState

(

final AutomatonState

state

)

[inline, package]

SimpleAutomatonID cz::muni::stanse::automatonchecker::TransitionRule::getAutomatonID

(

)

[inline, package]

---

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

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