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

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

Uses of DeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton

Subinterfaces of DeterministicAutomaton.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`.
`static interface`	`UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>`	Interface for `full integer abstractions` of a `UniversalDeterministicAutomaton`.

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

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

Classes in net.automatalib.automaton.abstraction that implement DeterministicAutomaton.FullIntAbstraction
Modifier and Type	Class	Description
`static class`	`DeterministicAbstractions.FullIntAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>`
`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>>`