HoaPrintable
CutDeterministicAutomaton
, LimitDeterministicAutomatonImpl
public interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V> extends HoaPrintable
HoaPrintable.HoaOption
Modifier and Type | Method | Description |
---|---|---|
default CutDeterministicAutomaton<S,T,U,V> |
asCutDeterministicAutomaton() |
|
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) |
|
default boolean |
isDeterministic() |
|
default int |
size() |
|
default void |
toHoa(jhoafparser.consumer.HOAConsumer consumer,
java.util.EnumSet<HoaPrintable.HoaOption> options) |
|
default java.lang.String |
toString(java.util.EnumSet<HoaPrintable.HoaOption> options) |
getName, getVariables, toHoa
default CutDeterministicAutomaton<S,T,U,V> asCutDeterministicAutomaton()
java.util.Set<V> getComponents()
Automaton<S,NoneAcceptance> getInitialComponent()
java.util.Map<ValuationSet,java.util.Set<T>> getValuationSetJumps(S state)
default boolean isDeterministic()
default int size()
default void toHoa(jhoafparser.consumer.HOAConsumer consumer, java.util.EnumSet<HoaPrintable.HoaOption> options)
toHoa
in interface HoaPrintable
default java.lang.String toString(java.util.EnumSet<HoaPrintable.HoaOption> options) throws java.io.IOException
java.io.IOException