Uses of Class
net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction

Packages that use SimpleDeterministicAbstractions.IntAbstraction

Package	Description
net.automatalib.automaton.abstraction

Uses of SimpleDeterministicAbstractions.IntAbstraction in net.automatalib.automaton.abstraction

Subclasses of SimpleDeterministicAbstractions.IntAbstraction in net.automatalib.automaton.abstraction

Modifier and Type	Class	Description
static class	DeterministicAbstractions.StateIntAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>
static class	MutableDeterministicAbstraction.StateIntAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
static class	SimpleDeterministicAbstractions.StateIntAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>>	Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.
static class	UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>