@EverythingIsNonnullByDefault

# Package owl.automaton

This package and its subpackages contain the infrastructure for omega automata.

- Interface Summary
  Interface | Description
  --- | ---
  Automaton<S,​A extends OmegaAcceptance> | The base interface providing read access to an automaton.
  Automaton.EdgeMapVisitor<S> |
  Automaton.EdgeTreeVisitor<S> |
  Automaton.EdgeVisitor<S> |
  Automaton.Visitor<S> |
  EdgeMapAutomatonMixin<S,​A extends OmegaAcceptance> | Mixin interface for implementing an automaton by `Automaton.edgeMap(Object)`.
  EdgesAutomatonMixin<S,​A extends OmegaAcceptance> | Mixin interface for implementing an automaton by `Automaton.edges(Object, BitSet)`.
  EdgeTreeAutomatonMixin<S,​A extends OmegaAcceptance> | Mixin interface for implementing an automaton by `Automaton.edgeTree(Object)`.
  MutableAutomaton<S,​A extends OmegaAcceptance> | A mutation interface extending `Automaton`.
  SuccessorFunction<S> |

- Class Summary
  Class | Description
  --- | ---
  AbstractCachedStatesAutomaton<S,​A extends OmegaAcceptance> |
  AbstractImplicitAutomaton<S,​A extends OmegaAcceptance> |
  AutomatonFactory |
  AutomatonOperations |
  AutomatonReader |
  AutomatonReader.HoaState |
  AutomatonUtil |
  ImplicitNonDeterministicEdgeTreeAutomaton<S,​A extends OmegaAcceptance> |
  MutableAutomatonFactory |
  MutableAutomatonUtil |
  MutableAutomatonUtil.Sink |
  TwoPartAutomaton<A,​B,​C extends OmegaAcceptance> |
  UltimatelyPeriodicWord |
  Views |
  Views.AutomatonView<S,​A extends OmegaAcceptance> |

- Enum Summary
  Enum | Description
  --- | ---
  Automaton.PreferredEdgeAccess |
  Automaton.Property |