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()
V
annotation(T key)
Set<V>
components()
Set<T>
epsilonJumps(S state)
Automaton<S,NoneAcceptance>
initialComponent()
Set<?>
initialStates()
default boolean
isDeterministic()
default int
size()
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()
-
-