cz::muni::stanse::automatonchecker::ComposedAutomatonID Class Reference

List of all members.

Public Member Functions
boolean	equals (Object obj)
int	hashCode ()
Package Functions
	ComposedAutomatonID (SimpleAutomatonID id)
	ComposedAutomatonID (final List< SimpleAutomatonID > ids)
Vector< SimpleAutomatonID >	getSimpleAutomataIDs ()
boolean	isEqualWith (final ComposedAutomatonID other)

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::ComposedAutomatonID::ComposedAutomatonID

(

SimpleAutomatonID

id

)

[inline, package]

cz::muni::stanse::automatonchecker::ComposedAutomatonID::ComposedAutomatonID

(

final List< SimpleAutomatonID >

ids

)

[inline, package]

---

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::ComposedAutomatonID::equals

(

Object

obj

)

[inline]

int cz::muni::stanse::automatonchecker::ComposedAutomatonID::hashCode

(

)

[inline]

Vector<SimpleAutomatonID> cz::muni::stanse::automatonchecker::ComposedAutomatonID::getSimpleAutomataIDs

(

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::ComposedAutomatonID::isEqualWith

(

final ComposedAutomatonID

other

)

[inline, package]

---

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

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