- All Implemented Interfaces:
- TransitionOutput<Pair<T1,T2>,Pair<O1,O2>>, DeterministicTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>, DeterministicOutputTS<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>, DeterministicTransitionOutputTS<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>, MealyTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>, SimpleDTS<Pair<S1,S2>,I>, SimpleTS<Pair<S1,S2>,I>, TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>, UniversalDTS<Pair<S1,S2>,I,Pair<T1,T2>,Void,Pair<O1,O2>>, UniversalTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Void,Pair<O1,O2>>
public class DetMealyComposition<S1,S2,I,T1,T2,O1,O2,A1 extends MealyTransitionSystem<S1,I,T1,O1>,A2 extends MealyTransitionSystem<S2,I,T2,O2>>
extends DTSComposition<S1,S2,I,T1,T2,A1,A2>
implements MealyTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>