Package owl.automaton
This package and its subpackages contain the infrastructure for omega automata.
-
Interface Summary Interface Description AnnotatedState<S> 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 AbstractImmutableAutomaton<S,A extends OmegaAcceptance> This abstract class implements storage and retrieval of commonly fixed values, and overrides the default implementations forAutomaton.states()
,Automaton.accept(Visitor)
in order to cache the set of reachable states for later use.AbstractImmutableAutomaton.NonDeterministicEdgeMapAutomaton<S,A extends OmegaAcceptance> This class provides a skeleton implementation to create a non-deterministic on-the-fly constructed automaton that usesValuationSet
as the main representation of the transition relation.AbstractImmutableAutomaton.NonDeterministicEdgesAutomaton<S,A extends OmegaAcceptance> This class provides a skeleton implementation to create a non-deterministic on-the-fly constructed automaton.AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A extends OmegaAcceptance> This class provides a skeleton implementation to create a non-deterministic on-the-fly constructed automaton that usesValuationTree
as the main representation of the transition relation.AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton<S,A extends OmegaAcceptance> This class provides a skeleton implementation to create a semi-deterministic on-the-fly constructed automaton.AnnotatedStateOptimisation AutomatonUtil AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B extends GeneralizedBuchiAcceptance> BooleanOperations This class provides standard boolean operations (union, intersection) on automata.EmptyAutomaton<S,A extends OmegaAcceptance> HashMapAutomaton<S,A extends OmegaAcceptance> MutableAutomatonUtil MutableAutomatonUtil.Sink ParityUtil SingletonAutomaton<S,A extends OmegaAcceptance> TwoPartAutomaton<A,B,C extends OmegaAcceptance> UltimatelyPeriodicWord Views Views.Filter<S> Views.Filter.Builder<S> -
Enum Summary Enum Description Automaton.PreferredEdgeAccess Automaton.Property