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

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)