Package owl.automaton
This package and its subpackages contain the infrastructure for omega automata.
-
Interface Summary Interface Description AnnotatedState<S> Automaton<S,A extends EmersonLeiAcceptance> An automaton over infinite words.MutableAutomaton<S,A extends EmersonLeiAcceptance> A mutation interface extendingAutomaton
.SuccessorFunction<S> -
Class Summary Class Description AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance> This class provides a skeletal implementation of theAutomaton
interface to minimize the effort required to implement this interface.AbstractMemoizingAutomaton.EdgeImplementation<S,A extends EmersonLeiAcceptance> This class provides a skeletal implementation of theAutomaton
interface to minimize the effort required to implement this interface.AbstractMemoizingAutomaton.EdgeMapImplementation<S,A extends EmersonLeiAcceptance> This class provides a skeletal implementation of theAutomaton
interface to minimize the effort required to implement this interface.AbstractMemoizingAutomaton.EdgesImplementation<S,A extends EmersonLeiAcceptance> This class provides a skeletal implementation of theAutomaton
interface to minimize the effort required to implement this interface.AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A extends EmersonLeiAcceptance> This class provides a skeletal implementation of theAutomaton
interface to minimize the effort required to implement this interface.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation<A,B,C extends EmersonLeiAcceptance> This class provides a skeletal implementation of theAutomaton
interface to minimize the effort required to implement this interface.AnnotatedStateOptimisation AutomatonUtil AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B extends GeneralizedBuchiAcceptance> BooleanOperations This class provides standard boolean operations (union, intersection, complementation) on automata.EmptyAutomaton<S,A extends EmersonLeiAcceptance> HashMapAutomaton<S,A extends EmersonLeiAcceptance> MutableAutomatonUtil ParityUtil SingletonAutomaton<S,A extends EmersonLeiAcceptance> UltimatelyPeriodicWord Views Views.Filter<S> Views.Filter.Builder<S> -
Enum Summary Enum Description Automaton.Property