/**
* Determines if this transition is equal to the parameter.
*
* @param o any object.
* @return true iff this transition is equal to the parameter. That is if <tt>o</tt> is a
* transition which is composed same states and label (in the sense of method
* <tt>equals</tt>).
*/
public boolean equals(Object o) {
if (o == null) return false;
try {
Transition t = (Transition) o;
if (label != t.label) {
if (label == null || t.label == null) return false;
if (!t.label.equals(label)) return false;
}
return (start == t.start()) && (end == t.end());
} catch (ClassCastException x) {
return false;
}
}
