Uses of Interface
net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
-
Packages that use SimpleDeterministicAutomaton.IntAbstraction 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.IntAbstraction in net.automatalib.automaton
Classes in net.automatalib.automaton that implement SimpleDeterministicAutomaton.IntAbstraction 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.IntAbstraction in net.automatalib.automaton.abstraction
-
Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement SimpleDeterministicAutomaton.IntAbstraction 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.IntAbstraction in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement SimpleDeterministicAutomaton.IntAbstraction Modifier and Type Class Description class
CompactDFA<I>
-
Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.simple
Subinterfaces of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.simple Modifier and Type Interface Description static interface
SimpleDeterministicAutomaton.FullIntAbstraction
Interface for aninteger abstraction
that abstracts both states and input symbols to integers.static interface
SimpleDeterministicAutomaton.StateIntAbstraction<I>
Interface forinteger abstractions
of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of typeI
). -
Uses of SimpleDeterministicAutomaton.IntAbstraction in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement SimpleDeterministicAutomaton.IntAbstraction Modifier and Type Class Description class
CompactMealy<I,O>
class
CompactMoore<I,O>
class
CompactSST<I,O>
-