Package net.automatalib.util.ts.comp
Class TSCompositions
- java.lang.Object
-
- net.automatalib.util.ts.comp.TSCompositions
-
public final class TSCompositions extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>>
TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>compose(TS1 ts1, TS2 ts2)
-
-
-
Method Detail
-
compose
public static <S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>> compose(TS1 ts1, TS2 ts2)
-
compose
public static <S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> DeterministicTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>> compose(TS1 ts1, TS2 ts2)
-
-