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

Packages that use UniversalDeterministicAutomaton.StateIntAbstraction

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.

Uses of UniversalDeterministicAutomaton.StateIntAbstraction in net.automatalib.automata

Classes in net.automatalib.automata with type parameters of type UniversalDeterministicAutomaton.StateIntAbstraction

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

Subinterfaces of UniversalDeterministicAutomaton.StateIntAbstraction in net.automatalib.automata

Modifier and Type	Interface and Description
static interface	MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

Classes in net.automatalib.automata that implement UniversalDeterministicAutomaton.StateIntAbstraction

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

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

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