cz::muni::stanse::automatonchecker::SimpleAutomatonID Class Reference

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

[legend]

List of all members.

Public Member Functions
boolean	equals (Object obj)
int	hashCode ()
Package Functions
	SimpleAutomatonID (final XMLPatternVariablesAssignment assignment, final boolean isGlobal)
	SimpleAutomatonID (final List< String > varsAssignment, final boolean isGlobal)
Vector< String >	getVarsAssignment ()
boolean	isGlobal ()
boolean	isEqualWith (final SimpleAutomatonID other)

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::SimpleAutomatonID::SimpleAutomatonID	(	final XMLPatternVariablesAssignment	assignment,
		final boolean	isGlobal
	)			[inline, package]

cz::muni::stanse::automatonchecker::SimpleAutomatonID::SimpleAutomatonID	(	final List< String >	varsAssignment,
		final boolean	isGlobal
	)			[inline, package]

---

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::SimpleAutomatonID::equals

(

Object

obj

)

[inline]

int cz::muni::stanse::automatonchecker::SimpleAutomatonID::hashCode

(

)

[inline]

Vector<String> cz::muni::stanse::automatonchecker::SimpleAutomatonID::getVarsAssignment

(

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::SimpleAutomatonID::isGlobal

(

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::SimpleAutomatonID::isEqualWith

(

final SimpleAutomatonID

other

)

[inline, package]

---

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

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