Module net.automatalib.api
Package net.automatalib.automaton

Interface UniversalDeterministicAutomaton<S,I,T,SP,TP>

Type Parameters:
S - state type
I - input symbol type
T - transition type
SP - state property type
TP - transition property type
All Superinterfaces:
Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, DeterministicTransitionSystem<S,I,T>, FiniteRepresentation, InitialState<S>, InitialStates<S>, Iterable<S>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDTS<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>
All Known Subinterfaces:
DFA<S,I>, Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MMLT<S,I,T,O>, MooreMachine<S,I,T,O>, MutableDeterministic<S,I,T,SP,TP>, MutableDeterministic.RegularAutomaton<S,I,T,SP,TP>, MutableDFA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMMLT<S,I,T,O>, MutableMooreMachine<S,I,T,O>, MutableSubsequentialTransducer<S,I,T,O>, StateLocalInputMealyMachine<S,I,T,O>, SubsequentialTransducer<S,I,T,O>, UniversalDeterministicAutomaton.RegularAutomaton<S,I,T,SP,TP>
All Known Implementing Classes:
AbstractCompactDeterministic, AbstractCompactSimpleDeterministic, AbstractFastMutableDet, BricsDFA, CompactDFA, CompactMealy, CompactMMLT, CompactMoore, CompactSST, CompactTransitionOutput, DFALassoImpl, FastDFA, FastMealy, FastMoore, MealyLassoImpl, ReducedMMLTSemantics, UniversalCompactDet, UniversalCompactDetAutomaton, UniversalCompactSimpleDet
public interface UniversalDeterministicAutomaton<S,I,T,SP,TP> extends DeterministicAutomaton<S,I,T>, UniversalDTS<S,I,T,SP,TP>, UniversalAutomaton<S,I,T,SP,TP>
A DeterministicAutomaton with state and transition properties.
See Also: