Package | Description |
---|---|
net.automatalib.ts.comp | |
net.automatalib.util.ts.acceptors | |
net.automatalib.util.ts.transducers |
Modifier and Type | Method and Description |
---|---|
static <S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> |
TSCompositions.compose(TS1 ts1,
TS2 ts2) |
Modifier and Type | Class and Description |
---|---|
class |
DetAcceptorComposition<S1,S2,I,A1 extends DeterministicAcceptorTS<S1,I>,A2 extends DeterministicAcceptorTS<S2,I>> |
Modifier and Type | Class and Description |
---|---|
class |
DetMealyComposition<S1,S2,I,T1,T2,O1,O2,A1 extends MealyTransitionSystem<S1,I,T1,O1>,A2 extends MealyTransitionSystem<S2,I,T2,O2>> |
Copyright © 2020. All rights reserved.