public override bool Equals(object o) { return o==this || (o is ATNState && stateNumber == ((ATNState)o).stateNumber); }