Uses of Interface
net.automatalib.automaton.MutableDeterministic.StateIntAbstraction
-
Packages that use MutableDeterministic.StateIntAbstraction Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.abstraction net.automatalib.automaton.base net.automatalib.automaton.fsa net.automatalib.automaton.transducer -
-
Uses of MutableDeterministic.StateIntAbstraction in net.automatalib.automaton
Classes in net.automatalib.automaton that implement MutableDeterministic.StateIntAbstraction Modifier and Type Class Description class
UniversalCompactDet<I,SP,TP>
A default implementation forAbstractCompactDeterministic
that usesCompactTransition
as transition type and supports various types of state and transition properties.class
UniversalCompactSimpleDet<I,SP>
AAbstractCompactSimpleDeterministic
-based implementation for automata that need to store generic state properties.Methods in net.automatalib.automaton that return MutableDeterministic.StateIntAbstraction Modifier and Type Method Description default MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
MutableDeterministic. stateIntAbstraction()
-
Uses of MutableDeterministic.StateIntAbstraction in net.automatalib.automaton.abstraction
Classes in net.automatalib.automaton.abstraction with type parameters of type MutableDeterministic.StateIntAbstraction Modifier and Type Class Description static class
MutableDeterministicAbstraction.FullIntAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>
Classes in net.automatalib.automaton.abstraction that implement MutableDeterministic.StateIntAbstraction Modifier and Type Class Description static class
MutableDeterministicAbstraction.StateIntAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
-
Uses of MutableDeterministic.StateIntAbstraction in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement MutableDeterministic.StateIntAbstraction Modifier and Type Class Description class
AbstractCompactDeterministic<I,T,SP,TP>
Abstract super class that refinesAbstractCompact
for deterministic automata.class
AbstractCompactSimpleDeterministic<I,SP>
Abstract super class that refinesAbstractCompactDeterministic
for transition-property-less automata.Methods in net.automatalib.automaton.base that return MutableDeterministic.StateIntAbstraction Modifier and Type Method Description MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
AbstractCompactDeterministic. stateIntAbstraction()
-
Uses of MutableDeterministic.StateIntAbstraction in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement MutableDeterministic.StateIntAbstraction Modifier and Type Class Description class
CompactDFA<I>
-
Uses of MutableDeterministic.StateIntAbstraction in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement MutableDeterministic.StateIntAbstraction Modifier and Type Class Description class
CompactMealy<I,O>
class
CompactMoore<I,O>
class
CompactSST<I,O>
-