Esempio n. 1
0
 /**
  * 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);
   }
 }
Esempio n. 2
0
 /**
  * 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);
   }
 }
Esempio n. 3
0
 /**
  * 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);
 }