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

Packages that use SimpleDeterministicAutomaton.IntAbstraction

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

Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automata

Subinterfaces of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automata

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

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

Modifier and Type	Class and Description
static class	DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
static class	DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>
static class	MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>
static class	MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
static class	UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<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.IntAbstraction in net.automatalib.automata.simple

Subinterfaces of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automata.simple

Modifier and Type	Interface and Description
static interface	SimpleDeterministicAutomaton.FullIntAbstraction Interface for an integer abstraction that abstracts both states and input symbols to integers.
static interface	SimpleDeterministicAutomaton.StateIntAbstraction<I> Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

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

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.
static class	SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<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().
static class	SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.