ComposedAutomatonID(SimpleAutomatonID id) | cz::muni::stanse::automatonchecker::ComposedAutomatonID | [inline, package] |
ComposedAutomatonID(final List< SimpleAutomatonID > ids) | cz::muni::stanse::automatonchecker::ComposedAutomatonID | [inline, package] |
equals(Object obj) | cz::muni::stanse::automatonchecker::ComposedAutomatonID | [inline] |
getSimpleAutomataIDs() | cz::muni::stanse::automatonchecker::ComposedAutomatonID | [inline, package] |
hashCode() | cz::muni::stanse::automatonchecker::ComposedAutomatonID | [inline] |
isEqualWith(final ComposedAutomatonID other) | cz::muni::stanse::automatonchecker::ComposedAutomatonID | [inline, package] |