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