/**
* removes the transition from the intersection automaton. If the transition is constrained it is
* also removed from the set of the constrained transitions
*
* @param transition is the transition to be removed
* @throws NullPointerException if the transition is null
*/
@Override
public void removeTransition(@NonNull Transition transition) {
super.removeTransition(transition);
if (this.constrainedTransitions.contains(transition)) {
this.constrainedTransitions.remove(transition);
}
}
