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.EdgeVisitor<S> Automaton.HybridVisitor<S> Automaton.LabelledEdgeVisitor<S> Automaton.Visitor<S> EdgesAutomatonMixin<S,A extends OmegaAcceptance> Mixin interface for implementing an automaton byAutomaton.edges(Object, BitSet)
.LabelledEdgesAutomatonMixin<S,A extends OmegaAcceptance> Mixin interface for implementing an automaton byAutomaton.labelledEdges(Object)
.MutableAutomaton<S,A extends OmegaAcceptance> A mutation interface extendingAutomaton
.SuccessorFunction<S> -
Class Summary Class Description AbstractAutomaton<S,A extends OmegaAcceptance> AutomatonFactory AutomatonOperations AutomatonReader AutomatonReader.HoaState AutomatonUtil AutomatonUtil.InitialComponentState<S> ImplicitCachedStatesAutomaton<S,A extends OmegaAcceptance> MutableAutomatonFactory MutableAutomatonUtil MutableAutomatonUtil.Sink Views Views.AutomatonView<S,A extends OmegaAcceptance> -
Enum Summary Enum Description Automaton.Property