Module net.automatalib.api

Package net.automatalib.automaton.abstraction

package net.automatalib.automaton.abstraction

Related Packages

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic concepts concerning automata.

Class	Description
DeterministicAbstractions	Abstractions for DeterministicAutomatons.
DeterministicAbstractions.FullIntAbstraction<T>	Interface for full integer abstractions of a DeterministicAutomaton.
DeterministicAbstractions.FullIntAbstractionImpl<I,T,A extends DeterministicAbstractions.StateIntAbstraction<I,T>>
DeterministicAbstractions.IntAbstraction<T>	Base interface for integer abstractions of a DeterministicAutomaton.
DeterministicAbstractions.StateIntAbstraction<I,T>	Interface for state integer abstractions of a DeterministicAutomaton.
DeterministicAbstractions.StateIntAbstractionImpl<S,I,T,A extends DeterministicAutomaton<S,I,T>>
MutableDeterministicAbstractions	Abstractions for MutableDeterministics.
MutableDeterministicAbstractions.FullIntAbstraction<T,SP,TP>	Interface for full integer abstractions of a MutableDeterministic.
MutableDeterministicAbstractions.FullIntAbstractionImpl<I,T,SP,TP,A extends MutableDeterministicAbstractions.StateIntAbstraction<I,T,SP,TP>>
MutableDeterministicAbstractions.IntAbstraction<T,SP,TP>	Base interface for integer abstractions of a MutableDeterministic.
MutableDeterministicAbstractions.StateIntAbstraction<I,T,SP,TP>	Interface for state integer abstractions of a MutableDeterministic.
MutableDeterministicAbstractions.StateIntAbstractionImpl<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
SimpleDeterministicAbstractions	Abstractions for SimpleDeterministicAutomatons.
SimpleDeterministicAbstractions.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAbstractions.FullIntAbstractionImpl<I,A extends SimpleDeterministicAbstractions.StateIntAbstraction<I>>	Base class implementing the default way of obtaining a SimpleDeterministicAbstractions.FullIntAbstractionImpl, i.e., building on top of a SimpleDeterministicAbstractions.StateIntAbstractionImpl and a mapping from integers to (concrete) input symbols.
SimpleDeterministicAbstractions.IntAbstraction	Basic interface for integer abstractions of automata.
SimpleDeterministicAbstractions.IntAbstractionImpl<S,A extends SimpleDeterministicAutomaton<S,?>>	Base class implementing the default way of obtaining an integer abstraction from an automaton, i.e., by mapping states to integers and vice versa using the StateIDs mapping obtained via SimpleAutomaton.stateIDs().
SimpleDeterministicAbstractions.StateIntAbstraction<I>	Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).
SimpleDeterministicAbstractions.StateIntAbstractionImpl<S,I,A extends SimpleDeterministicAutomaton<S,I>>	Base class implementing the default way of obtaining a SimpleDeterministicAbstractions.StateIntAbstraction.
UniversalDeterministicAbstractions	Abstractions for UniversalDeterministicAutomatons.
UniversalDeterministicAbstractions.FullIntAbstraction<T,SP,TP>	Interface for full integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAbstractions.FullIntAbstractionImpl<I,T,SP,TP,A extends UniversalDeterministicAbstractions.StateIntAbstraction<I,T,SP,TP>>
UniversalDeterministicAbstractions.IntAbstraction<T,SP,TP>	Base interface for integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAbstractions.StateIntAbstraction<I,T,SP,TP>	Interface for state integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAbstractions.StateIntAbstractionImpl<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>