Uses of Interface net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction (AutomataLib :: API 0.11.0 API)

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

Uses of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton

Subinterfaces of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton
Modifier and Type	Interface	Description
`static interface`	`MutableDeterministic.FullIntAbstraction<T,SP,TP>`	Interface for `full integer abstractions` of a `MutableDeterministic`.

Methods in net.automatalib.automaton that return UniversalDeterministicAutomaton.FullIntAbstraction
Modifier and Type	Method	Description
`default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>`	UniversalDeterministicAutomaton.`fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)`
`default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>`	UniversalDeterministicAutomaton.`fullIntAbstraction(Alphabet<I> alphabet)`

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

Classes in net.automatalib.automaton.abstraction that implement UniversalDeterministicAutomaton.FullIntAbstraction
Modifier and Type	Class	Description
`static class`	`MutableDeterministicAbstraction.FullIntAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>`
`static class`	`UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>`