Uses of Interface
net.automatalib.automata.MutableDeterministic.IntAbstraction

Packages that use MutableDeterministic.IntAbstraction

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

Uses of MutableDeterministic.IntAbstraction in net.automatalib.automata

Subinterfaces of MutableDeterministic.IntAbstraction in net.automatalib.automata

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

Classes in net.automatalib.automata that implement MutableDeterministic.IntAbstraction

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