Package | Description |
---|---|
net.automatalib.ts.comp | |
net.automatalib.util.ts.acceptors |
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>> |
Copyright © 2015. All Rights Reserved.