Uses of Interface
net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction
-
Packages that use DeterministicAutomaton.FullIntAbstraction 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 DeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton
Subinterfaces of DeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton Modifier and Type Interface Description static interface
MutableDeterministic.FullIntAbstraction<T,SP,TP>
Interface forfull integer abstractions
of aMutableDeterministic
.static interface
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>
Interface forfull integer abstractions
of aUniversalDeterministicAutomaton
.Classes in net.automatalib.automaton that implement DeterministicAutomaton.FullIntAbstraction 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 DeterministicAutomaton.FullIntAbstraction Modifier and Type Method Description default DeterministicAutomaton.FullIntAbstraction<T>
DeterministicAutomaton. fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)
default DeterministicAutomaton.FullIntAbstraction<T>
DeterministicAutomaton. fullIntAbstraction(Alphabet<I> alphabet)
-
Uses of DeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton.abstraction
Classes in net.automatalib.automaton.abstraction that implement DeterministicAutomaton.FullIntAbstraction Modifier and Type Class Description static class
DeterministicAbstractions.FullIntAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
static class
MutableDeterministicAbstraction.FullIntAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>
static class
UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>
-
Uses of DeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement DeterministicAutomaton.FullIntAbstraction 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. -
Uses of DeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement DeterministicAutomaton.FullIntAbstraction Modifier and Type Class Description class
CompactDFA<I>
-
Uses of DeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement DeterministicAutomaton.FullIntAbstraction Modifier and Type Class Description class
CompactMealy<I,O>
class
CompactMoore<I,O>
class
CompactSST<I,O>
-