/** * removes the state from the intersection automaton. If the state is mixed is also removed from * the set of the mixed states * * @param state the state to be removed * @throws NullPointerException if the state is null */ @Override public void removeState(@NonNull State state) { super.removeState(state); if (this.mixedStates.contains(state)) { this.mixedStates.remove(state); } }