LimitDeterministicAutomaton<S,T,U,V>
, HoaPrintable
public final class LimitDeterministicAutomatonImpl<S,T,U extends GeneralizedBuchiAcceptance,V> extends java.lang.Object implements LimitDeterministicAutomaton<S,T,U,V>
HoaPrintable.HoaOption
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,java.util.Set<T>> valuationSetJumps,
java.util.Set<V> component,
java.util.function.Function<T,V> componentAnnotation) |
Modifier and Type | Method | Description |
---|---|---|
Automaton<T,U> |
getAcceptingComponent() |
|
V |
getAnnotation(T key) |
|
java.util.Set<V> |
getComponents() |
|
java.util.Set<T> |
getEpsilonJumps(S state) |
|
Automaton<S,NoneAcceptance> |
getInitialComponent() |
|
java.util.Map<ValuationSet,java.util.Set<T>> |
getValuationSetJumps(S state) |
|
java.util.List<java.lang.String> |
getVariables() |
|
java.lang.String |
toString() |
getName, toHoa
asCutDeterministicAutomaton, isDeterministic, size, toHoa, toString
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,java.util.Set<T>> valuationSetJumps, java.util.Set<V> component, java.util.function.Function<T,V> componentAnnotation)
public Automaton<T,U> getAcceptingComponent()
getAcceptingComponent
in interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
public V getAnnotation(T key)
getAnnotation
in interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
public java.util.Set<V> getComponents()
getComponents
in interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
public java.util.Set<T> getEpsilonJumps(S state)
getEpsilonJumps
in interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
public Automaton<S,NoneAcceptance> getInitialComponent()
getInitialComponent
in interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
public java.util.Map<ValuationSet,java.util.Set<T>> getValuationSetJumps(S state)
getValuationSetJumps
in interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>
public java.util.List<java.lang.String> getVariables()
getVariables
in interface HoaPrintable
public java.lang.String toString()
toString
in class java.lang.Object