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 byAutomaton.edgeMap(Object)
.EdgesAutomatonMixin<S,A extends OmegaAcceptance> Mixin interface for implementing an automaton byAutomaton.edges(Object, BitSet)
.EdgeTreeAutomatonMixin<S,A extends OmegaAcceptance> Mixin interface for implementing an automaton byAutomaton.edgeTree(Object)
.MutableAutomaton<S,A extends OmegaAcceptance> A mutation interface extendingAutomaton
.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