public boolean equals(Object o) {if ( o instanceof ATNState ) return stateNumber==((ATNState)o).stateNumber;return false;}
public override bool Equals(object o){return o==this ||(o is ATNState && stateNumber == ((ATNState)o).stateNumber);}