Package owl.automaton.ldba
Interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
- All Known Implementing Classes:
LimitDeterministicAutomatonImpl
public interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description Automaton<T,U>acceptingComponent()Vannotation(T key)Set<V>components()Set<T>epsilonJumps(S state)Automaton<S,NoneAcceptance>initialComponent()Set<?>initialStates()default booleanisDeterministic()default intsize()Map<ValuationSet,Set<T>>valuationSetJumps(S state)
-
-
-
Method Detail
-
initialComponent
Automaton<S,NoneAcceptance> initialComponent()
-
initialStates
Set<?> initialStates()
-
valuationSetJumps
Map<ValuationSet,Set<T>> valuationSetJumps(S state)
-
isDeterministic
default boolean isDeterministic()
-
size
default int size()
-
-