Package net.automatalib.automaton
Interface UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
-
- Type Parameters:
I
- input symbol typeT
- transition typeSP
- state property typeTP
- transition property type
- All Superinterfaces:
DeterministicAutomaton.IntAbstraction<T>
,DeterministicAutomaton.StateIntAbstraction<I,T>
,FiniteRepresentation
,SimpleDeterministicAutomaton.IntAbstraction
,SimpleDeterministicAutomaton.StateIntAbstraction<I>
,UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
- All Known Subinterfaces:
MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
- All Known Implementing Classes:
AbstractCompactDeterministic
,AbstractCompactSimpleDeterministic
,CompactDFA
,CompactMealy
,CompactMoore
,CompactSST
,MutableDeterministicAbstraction.StateIntAbstraction
,UniversalCompactDet
,UniversalCompactSimpleDet
,UniversalDeterministicAbstractions.StateIntAbstraction
public static interface UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> extends UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, DeterministicAutomaton.StateIntAbstraction<I,T>
Interface forstate integer abstractions
of aUniversalDeterministicAutomaton
.
-
-
Field Summary
-
Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
INVALID_STATE
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default @Nullable TP
getTransitionProperty(int state, I input)
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.IntAbstraction
getIntSuccessor
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction
getSuccessor, getTransition
-
Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation
size
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
getIntInitialState
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction
getStateProperty, getTransitionProperty
-
-