public boolean equals(Object obj) {if (this == obj) return true;if (obj == null) return false;if (getClass() != obj.getClass()) return false;RunAutomaton other = (RunAutomaton) obj;if (alphabetSize != other.alphabetSize) return false;if (size != other.size) return false;if (!Arrays.equals(points, other.points)) return false;if (!accept.equals(other.accept)) return false;if (!Arrays.equals(transitions, other.transitions)) return false;return true;}
public override bool Equals(object obj){if (this == obj){return true;}if (obj == null){return false;}if (this.GetType() != obj.GetType()){return false;}RunAutomaton other = (RunAutomaton)obj;if (m_initial != other.m_initial){return false;}if (_maxInterval != other._maxInterval){return false;}if (_size != other._size){return false;}if (!Arrays.Equals(_points, other._points)){return false;}if (!Arrays.Equals(m_accept, other.m_accept)){return false;}if (!Arrays.Equals(m_transitions, other.m_transitions)){return false;}return true;}