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

Packages that use MutableDeterministic.FullIntAbstraction

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

Uses of MutableDeterministic.FullIntAbstraction in net.automatalib.automaton

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

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

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

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

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