Package net.automatalib.automaton
Interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
-
- Type Parameters:
T
- transition typeSP
- state property typeTP
- transition property type
- All Superinterfaces:
DeterministicAutomaton.IntAbstraction<T>
,FiniteRepresentation
,SimpleDeterministicAutomaton.IntAbstraction
- All Known Subinterfaces:
MutableDeterministic.FullIntAbstraction<T,SP,TP>
,MutableDeterministic.IntAbstraction<T,SP,TP>
,MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
,UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>
,UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
- All Known Implementing Classes:
AbstractCompactDeterministic
,AbstractCompactSimpleDeterministic
,CompactDFA
,CompactMealy
,CompactMoore
,CompactSST
,MutableDeterministicAbstraction.FullIntAbstraction
,MutableDeterministicAbstraction.StateIntAbstraction
,UniversalCompactDet
,UniversalCompactSimpleDet
,UniversalDeterministicAbstractions.FullIntAbstraction
,UniversalDeterministicAbstractions.StateIntAbstraction
public static interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP> extends DeterministicAutomaton.IntAbstraction<T>
Base interface forinteger abstractions
of aUniversalDeterministicAutomaton
.
-
-
Field Summary
-
Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
INVALID_STATE
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description SP
getStateProperty(int state)
Retrieves the state property of a given (abstracted) state.TP
getTransitionProperty(T transition)
Retrieves the transition property of a given transition.-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.IntAbstraction
getIntSuccessor
-
Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation
size
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
getIntInitialState
-
-
-
-
Method Detail
-
getStateProperty
SP getStateProperty(int state)
Retrieves the state property of a given (abstracted) state.- Parameters:
state
- the integer representing the state of which to retrieve the property- Returns:
- the property for the given state
-
-