Uses of Interface
net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

Packages that use DeterministicAutomaton.FullIntAbstraction

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

Uses of DeterministicAutomaton.FullIntAbstraction in net.automatalib.automata

Subinterfaces of DeterministicAutomaton.FullIntAbstraction in net.automatalib.automata

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

Classes in net.automatalib.automata that implement DeterministicAutomaton.FullIntAbstraction

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

Methods in net.automatalib.automata that return DeterministicAutomaton.FullIntAbstraction

Modifier and Type	Method and Description
default DeterministicAutomaton.FullIntAbstraction<T>	DeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet)
default DeterministicAutomaton.FullIntAbstraction<T>	DeterministicAutomaton.fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)