cz::muni::stanse::automatonchecker::SimpleAutomatonID Member List

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

equals(Object obj)	cz::muni::stanse::automatonchecker::SimpleAutomatonID	[inline]
getVarsAssignment()	cz::muni::stanse::automatonchecker::SimpleAutomatonID	[inline, package]
hashCode()	cz::muni::stanse::automatonchecker::SimpleAutomatonID	[inline]
isEqualWith(final SimpleAutomatonID other)	cz::muni::stanse::automatonchecker::SimpleAutomatonID	[inline, package]
isGlobal()	cz::muni::stanse::automatonchecker::SimpleAutomatonID	[inline, package]
SimpleAutomatonID(final XMLPatternVariablesAssignment assignment, final boolean isGlobal)	cz::muni::stanse::automatonchecker::SimpleAutomatonID	[inline, package]
SimpleAutomatonID(final List< String > varsAssignment, final boolean isGlobal)	cz::muni::stanse::automatonchecker::SimpleAutomatonID	[inline, package]