Interface | Description |
---|---|
Automaton<S,A extends OmegaAcceptance> |
Note: Every implementation should support concurrent read-access.
|
MutableAutomaton<S,A extends OmegaAcceptance> |
Class | Description |
---|---|
AutomatonFactory | |
AutomatonOperations | |
AutomatonReader | |
AutomatonReader.HoaState | |
AutomatonUtil | |
MutableAutomatonFactory | |
StreamingAutomaton<S,A extends OmegaAcceptance> | |
Views | |
Views.ForwardingAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance,T extends Automaton<S,B>> | |
Views.ForwardingMutableAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance> |
Enum | Description |
---|---|
Automaton.Property |