/**
* adds a constraint transition to the intersection automaton see {@link BA#addTransition(State,
* State, Transition)}
*
* @param source is the source of the transition
* @param destination is the destination of the transition
* @param transition is the transition to be added
*/
public void addConstrainedTransition(
@NonNull State source, @NonNull State destination, @NonNull Transition transition) {
super.addTransition(source, destination, transition);
this.constrainedTransitions.add(transition);
}
