Package owl.automaton.ldba
Class LimitDeterministicAutomatonImpl<S,T,U extends GeneralizedBuchiAcceptance,V>
- java.lang.Object
-
- owl.automaton.ldba.LimitDeterministicAutomatonImpl<S,T,U,V>
-
- All Implemented Interfaces:
LimitDeterministicAutomaton<S,T,U,V>
public final class LimitDeterministicAutomatonImpl<S,T,U extends GeneralizedBuchiAcceptance,V> extends Object implements LimitDeterministicAutomaton<S,T,U,V>
-
-
Constructor Summary
Constructors Constructor Description LimitDeterministicAutomatonImpl(MutableAutomaton<S,NoneAcceptance> initialComponent, MutableAutomaton<T,U> acceptingComponent, com.google.common.collect.SetMultimap<S,T> epsilonJumps, com.google.common.collect.Table<S,ValuationSet,Set<T>> valuationSetJumps, Set<T> acceptingComponentInitialStates)
-
Method Summary
All Methods Instance Methods Concrete 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<Object>initialStates()Map<ValuationSet,Set<T>>valuationSetJumps(S state)List<String>variables()-
Methods inherited from interface owl.automaton.ldba.LimitDeterministicAutomaton
isDeterministic, size
-
-
-
-
Constructor Detail
-
LimitDeterministicAutomatonImpl
public LimitDeterministicAutomatonImpl(MutableAutomaton<S,NoneAcceptance> initialComponent, MutableAutomaton<T,U> acceptingComponent, com.google.common.collect.SetMultimap<S,T> epsilonJumps, com.google.common.collect.Table<S,ValuationSet,Set<T>> valuationSetJumps, Set<T> acceptingComponentInitialStates)
-
-
Method Detail
-
initialStates
public Set<Object> initialStates()
- Specified by:
initialStatesin interfaceLimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
acceptingComponent
public Automaton<T,U> acceptingComponent()
- Specified by:
acceptingComponentin interfaceLimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
annotation
public V annotation(T key)
- Specified by:
annotationin interfaceLimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
components
public Set<V> components()
- Specified by:
componentsin interfaceLimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
epsilonJumps
public Set<T> epsilonJumps(S state)
- Specified by:
epsilonJumpsin interfaceLimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
initialComponent
public Automaton<S,NoneAcceptance> initialComponent()
- Specified by:
initialComponentin interfaceLimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
valuationSetJumps
public Map<ValuationSet,Set<T>> valuationSetJumps(S state)
- Specified by:
valuationSetJumpsin interfaceLimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
-
-