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

Packages that use DeterministicAutomaton.StateIntAbstraction

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

Uses of DeterministicAutomaton.StateIntAbstraction in net.automatalib.automata

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

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

Subinterfaces of DeterministicAutomaton.StateIntAbstraction in net.automatalib.automata

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

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

Modifier and Type	Class and Description
static class	DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>
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 DeterministicAutomaton.StateIntAbstraction

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