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

Packages that use UniversalDeterministicAutomaton.FullIntAbstraction

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

Uses of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata

Subinterfaces of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata

Modifier and Type	Interface and Description
static interface	MutableDeterministic.FullIntAbstraction<T,SP,TP>

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

Modifier and Type	Class and Description
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 UniversalDeterministicAutomaton.FullIntAbstraction

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