Uses of Interface
net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction

Packages that use SimpleDeterministicAutomaton.StateIntAbstraction

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.
net.automatalib.automata.simple

Uses of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automata

Subinterfaces of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automata

Modifier and Type	Interface and Description
static interface	DeterministicAutomaton.StateIntAbstraction<I,T> Interface for state integer abstractions of a DeterministicAutomaton.
static interface	MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
static interface	UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> Interface for state integer abstractions of a UniversalDeterministicAutomaton.

Classes in net.automatalib.automata that implement SimpleDeterministicAutomaton.StateIntAbstraction

Modifier and Type	Class and Description
static class	DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>
static class	MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
static class	UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>

Uses of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automata.simple

Classes in net.automatalib.automata.simple with type parameters of type SimpleDeterministicAutomaton.StateIntAbstraction

Modifier and Type	Class and Description
static class	SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>> Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.FullIntAbstraction, i.e., building on top of a SimpleDeterministicAutomaton.StateIntAbstraction and a mapping from integers to (concrete) input symbols.

Classes in net.automatalib.automata.simple that implement SimpleDeterministicAutomaton.StateIntAbstraction

Modifier and Type	Class and Description
static class	SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.

Fields in net.automatalib.automata.simple declared as SimpleDeterministicAutomaton.StateIntAbstraction

Modifier and Type	Field and Description
protected A	SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction.stateAbstraction

Methods in net.automatalib.automata.simple that return SimpleDeterministicAutomaton.StateIntAbstraction

Modifier and Type	Method and Description
default SimpleDeterministicAutomaton.StateIntAbstraction<I>	SimpleDeterministicAutomaton.stateIntAbstraction() Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.