/** * Two states are equal if: * <ul> * <li>they have an identical number of outgoing transitions, labeled with * the same labels</li> * <li>corresponding outgoing transitions lead to the same states (to states * with an identical right-language). * </ul> */ @Override public boolean equals(Object obj) { final State other = (State) obj; return is_final == other.is_final && Arrays.equals(this.labels, other.labels) && referenceEquals(this.states, other.states); }
/** * Two states are equal if: * <ul> * <li>they have an identical number of outgoing transitions, labeled with * the same labels</li> * <li>corresponding outgoing transitions lead to the same states (to states * with an identical right-language). * </ul> */ @Override public boolean equals(Object obj) { final State other = (State) obj; return is_final == other.is_final && Arrays.equals(this.labels, other.labels) && referenceEquals(this.states, other.states); }
/** * Two states are equal if: * <ul> * <li>they have an identical number of outgoing transitions, labeled with * the same labels</li> * <li>corresponding outgoing transitions lead to the same states (to states * with an identical right-language). * </ul> */ @Override public boolean equals(Object obj) { final State other = (State) obj; return is_final == other.is_final && Arrays.equals(this.labels, other.labels) && referenceEquals(this.states, other.states); }
/** * Two states are equal if: * <ul> * <li>they have an identical number of outgoing transitions, labeled with * the same labels</li> * <li>corresponding outgoing transitions lead to the same states (to states * with an identical right-language). * </ul> */ @Override public boolean equals(Object obj) { final State other = (State) obj; return is_final == other.is_final && Arrays.equals(this.labels, other.labels) && referenceEquals(this.states, other.states); }