- Type Parameters:
I
- input symbol type
T
- transition type
SP
- state property type
TP
- transition property type
- All Superinterfaces:
- DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>, SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
- All Known Subinterfaces:
- MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
- All Known Implementing Classes:
- AbstractCompactDeterministic, AbstractCompactSimpleDet, CompactDFA, CompactMealy, MutableDeterministic.StateIntAbstraction.DefaultAbstraction, UniversalCompactSimpleDet, UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
- Enclosing interface:
- UniversalDeterministicAutomaton<S,I,T,SP,TP>
public static interface UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
extends UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, DeterministicAutomaton.StateIntAbstraction<I,T>
- Author:
- Malte Isberner