/**
* 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);
}
}
