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

Packages that use MutableDeterministic.FullIntAbstraction

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

Uses of MutableDeterministic.FullIntAbstraction in net.automatalib.automata

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

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

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

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