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