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

Packages that use SimpleDeterministicAutomaton.FullIntAbstraction

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

Uses of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton

Subinterfaces of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton

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

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

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

Modifier and Type	Class	Description
static class	DeterministicAbstractions.FullIntAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
static class	MutableDeterministicAbstraction.FullIntAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<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	UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>

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

Methods in net.automatalib.automaton.simple that return SimpleDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Method	Description
default SimpleDeterministicAutomaton.FullIntAbstraction	SimpleDeterministicAutomaton.fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)	Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.
default SimpleDeterministicAutomaton.FullIntAbstraction	SimpleDeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet)	Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.