net.automatalib.ts.comp

Class TSCompositions

java.lang.Object

net.automatalib.ts.comp.TSCompositions

public abstract class TSCompositions
extends Object

Constructor Summary

Constructors

Constructor and Description
TSCompositions()

Method Summary

Methods

Modifier and Type	Method and Description
static <S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> DTSComposition<S1,S2,I,T1,T2,TS1,TS2>	compose(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> TSComposition<S1,S2,I,T1,T2,TS1,TS2>	compose(TS1 ts1, TS2 ts2)

Methods inherited from class java.lang.Object

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

Constructor Detail

TSCompositions

public TSCompositions()

Method Detail

compose

public static <S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> TSComposition<S1,S2,I,T1,T2,TS1,TS2> 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>> DTSComposition<S1,S2,I,T1,T2,TS1,TS2> compose(TS1 ts1,
                                                                                                                                                                  TS2 ts2)