Uses of Interface net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction (AutomataLib

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

Subinterfaces of UniversalDeterministicAutomaton.IntAbstraction 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`	`MutableDeterministic.IntAbstraction<T,SP,TP>`	Base interface for `integer abstractions` of a `MutableDeterministic`.
`static interface`	`MutableDeterministic.StateIntAbstraction<I,T,SP,TP>`	Interface for `state integer abstractions` of a `MutableDeterministic`.
`static interface`	`UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>`	Interface for `full integer abstractions` of a `UniversalDeterministicAutomaton`.
`static interface`	`UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>`	Interface for `state integer abstractions` of a `UniversalDeterministicAutomaton`.

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

Uses of Interfacenet.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction