Uses of Package
net.automatalib.automaton.abstraction

Packages that use net.automatalib.automaton.abstraction

Package	Description
net.automatalib.automaton.abstraction

Classes in net.automatalib.automaton.abstraction used by net.automatalib.automaton.abstraction

Class	Description
DeterministicAbstractions.FullIntAbstraction
DeterministicAbstractions.StateIntAbstraction
SimpleDeterministicAbstractions.FullIntAbstraction	Base class implementing the default way of obtaining a SimpleDeterministicAbstractions.FullIntAbstraction, i.e., building on top of a SimpleDeterministicAbstractions.StateIntAbstraction and a mapping from integers to (concrete) input symbols.
SimpleDeterministicAbstractions.IntAbstraction	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	Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.
UniversalDeterministicAbstractions.FullIntAbstraction
UniversalDeterministicAbstractions.StateIntAbstraction