Uses of Interface
net.automatalib.automaton.simple.SimpleDeterministicAutomaton.StateIntAbstraction
-
Packages that use SimpleDeterministicAutomaton.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.simple net.automatalib.automaton.transducer -
-
Uses of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton
Subinterfaces of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton Modifier and Type Interface Description static interface
DeterministicAutomaton.StateIntAbstraction<I,T>
Interface forstate integer abstractions
of aDeterministicAutomaton
.static interface
MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
Interface forstate integer abstractions
of aMutableDeterministic
.static interface
UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
Interface forstate integer abstractions
of aUniversalDeterministicAutomaton
.Classes in net.automatalib.automaton that implement SimpleDeterministicAutomaton.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. -
Uses of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton.abstraction
Classes in net.automatalib.automaton.abstraction with type parameters of type SimpleDeterministicAutomaton.StateIntAbstraction Modifier and Type Class Description static class
SimpleDeterministicAbstractions.FullIntAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>>
Base class implementing the default way of obtaining aSimpleDeterministicAbstractions.FullIntAbstraction
, i.e., building on top of aSimpleDeterministicAbstractions.StateIntAbstraction
and a mapping from integers to (concrete) input symbols.Classes in net.automatalib.automaton.abstraction that implement SimpleDeterministicAutomaton.StateIntAbstraction 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 aSimpleDeterministicAutomaton.StateIntAbstraction
.static class
UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>
Fields in net.automatalib.automaton.abstraction declared as SimpleDeterministicAutomaton.StateIntAbstraction Modifier and Type Field Description protected A
SimpleDeterministicAbstractions.FullIntAbstraction. stateAbstraction
-
Uses of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement SimpleDeterministicAutomaton.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. -
Uses of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement SimpleDeterministicAutomaton.StateIntAbstraction Modifier and Type Class Description class
CompactDFA<I>
-
Uses of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton.simple
Methods in net.automatalib.automaton.simple that return SimpleDeterministicAutomaton.StateIntAbstraction Modifier and Type Method Description default SimpleDeterministicAutomaton.StateIntAbstraction<I>
SimpleDeterministicAutomaton. stateIntAbstraction()
Retrieves aSimpleDeterministicAutomaton.StateIntAbstraction
of this automaton. -
Uses of SimpleDeterministicAutomaton.StateIntAbstraction in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement SimpleDeterministicAutomaton.StateIntAbstraction Modifier and Type Class Description class
CompactMealy<I,O>
class
CompactMoore<I,O>
class
CompactSST<I,O>
-