public final class TSCompositions extends Object
Modifier and Type | Method and Description |
---|---|
static <S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> |
compose(TS1 ts1,
TS2 ts2) |
static <S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> |
compose(TS1 ts1,
TS2 ts2) |
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)
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)
Copyright © 2020. All rights reserved.