- All Known Subinterfaces:
ContextFreeModalProcessSystem<L,AP>, FiniteAlphabetAutomaton<S,I,T>, MMLT<S,I,T,O>, ModalTransitionSystem<S,I,T,TP>, MutableMMLT<S,I,T,O>, MutableModalTransitionSystem<S,I,T,TP>, OneSEVPA<L,I>, net.automatalib.automaton.procedural.ProceduralSystem<I,M>, SBA<S,I>, SEVPA<L,I>, SPA<S,I>, SPMM<S,I,T,O>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>
- All Known Implementing Classes:
AbstractBricsAutomaton, AbstractCompact, AbstractCompactDeterministic, AbstractCompactMTS, AbstractCompactSimpleDeterministic, AbstractCompactSimpleNondet, AbstractDefaultSEVPA, AbstractFastMutable, AbstractFastMutableDet, AbstractFastMutableNondet, AbstractSEVPA, BricsDFA, BricsNFA, CompactDFA, CompactMealy, CompactMMLT, CompactMoore, CompactMTS, CompactNFA, CompactSimpleAutomaton, CompactSST, CompactTransitionOutput, DefaultCFMPS, DefaultNSEVPA, DefaultOneSEVPA, EmptySBA, EmptySPA, EmptySPMM, FastDFA, FastMealy, FastMoore, FastNFA, FastProbMealy, ProductOneSEVPA, ReducedMMLTSemantics, StackSBA, StackSPA, StackSPMM, UniversalCompactDet, UniversalCompactDetAutomaton, UniversalCompactSimpleDet
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
-
Method Summary