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

Packages that use SimpleDeterministicAutomaton.IntAbstraction

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic concepts concerning automata.
net.automatalib.automaton.abstraction
net.automatalib.automaton.base	Basic classes for net.automatalib.automaton implementations.
net.automatalib.automaton.fsa.impl	Implementations for net.automatalib.automaton.fsa.
net.automatalib.automaton.impl	Implementations for net.automatalib.automaton.
net.automatalib.automaton.simple
net.automatalib.automaton.transducer.impl	Implementations for net.automatalib.automaton.transducer.

Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton

Subinterfaces of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton

Modifier and Type	Interface	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>	Interface for full integer abstractions of a MutableDeterministic.
static interface	MutableDeterministic.IntAbstraction<T,SP,TP>	Base interface for integer abstractions of a MutableDeterministic.
static interface	MutableDeterministic.StateIntAbstraction<I,T,SP,TP>	Interface for state integer abstractions of a MutableDeterministic.
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.

Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.abstraction

Classes in net.automatalib.automaton.abstraction that implement SimpleDeterministicAutomaton.IntAbstraction

Modifier and Type	Class	Description
static class	DeterministicAbstractions.FullIntAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
static class	DeterministicAbstractions.StateIntAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>
static class	MutableDeterministicAbstraction.FullIntAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>
static class	MutableDeterministicAbstraction.StateIntAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
static class	SimpleDeterministicAbstractions.FullIntAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>>	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.
static class	SimpleDeterministicAbstractions.IntAbstraction<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	SimpleDeterministicAbstractions.StateIntAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>>	Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.
static class	UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>
static class	UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>

Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.base

Classes in net.automatalib.automaton.base that implement SimpleDeterministicAutomaton.IntAbstraction

Modifier and Type	Class	Description
class	AbstractCompactDeterministic<I,T,SP,TP>	Abstract super class that refines AbstractCompact for deterministic automata.
class	AbstractCompactSimpleDeterministic<I,SP>	Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.

Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.fsa.impl

Classes in net.automatalib.automaton.fsa.impl that implement SimpleDeterministicAutomaton.IntAbstraction

Modifier and Type	Class	Description
class	CompactDFA<I>

Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.impl

Classes in net.automatalib.automaton.impl that implement SimpleDeterministicAutomaton.IntAbstraction

Modifier and Type	Class	Description
class	UniversalCompactDet<I,SP,TP>	A default implementation for AbstractCompactDeterministic that uses CompactTransition as transition type and supports various types of state and transition properties.
class	UniversalCompactSimpleDet<I,SP>	A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.simple

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

Modifier and Type	Interface	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).

Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.transducer.impl

Classes in net.automatalib.automaton.transducer.impl that implement SimpleDeterministicAutomaton.IntAbstraction

Modifier and Type	Class	Description
class	CompactMealy<I,O>
class	CompactMoore<I,O>
class	CompactSST<I,O>