Uses of Interface
net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction

Packages that use UniversalDeterministicAutomaton.StateIntAbstraction

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

Uses of UniversalDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton

Subinterfaces of UniversalDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton

Modifier and Type	Interface	Description
static interface	MutableDeterministic.StateIntAbstraction<I,T,SP,TP>	Interface for state integer abstractions of a MutableDeterministic.

Methods in net.automatalib.automaton that return UniversalDeterministicAutomaton.StateIntAbstraction

Modifier and Type	Method	Description
default UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>	UniversalDeterministicAutomaton.stateIntAbstraction()

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

Classes in net.automatalib.automaton.abstraction with type parameters of type UniversalDeterministicAutomaton.StateIntAbstraction

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

Classes in net.automatalib.automaton.abstraction that implement UniversalDeterministicAutomaton.StateIntAbstraction

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