Uses of Interface
net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction

Packages that use SimpleDeterministicAutomaton.FullIntAbstraction

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.
net.automatalib.automata.base.compact
net.automatalib.automata.fsa.impl.compact
net.automatalib.automata.simple
net.automatalib.automata.transducers.impl.compact
net.automatalib.util.partitionrefinement

Uses of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata

Subinterfaces of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata

Modifier and Type	Interface and Description
static interface	DeterministicAutomaton.FullIntAbstraction<T> Interface for full integer abstractions of a DeterministicAutomaton.
static interface	MutableDeterministic.FullIntAbstraction<T,SP,TP>
static interface	UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> Interface for full integer abstractions of a UniversalDeterministicAutomaton.

Classes in net.automatalib.automata that implement SimpleDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Class and Description
static class	DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
static class	MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>
static class	UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>

Uses of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata.base.compact

Classes in net.automatalib.automata.base.compact that implement SimpleDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Class and Description
class	AbstractCompactDeterministic<I,T,SP,TP> Abstract super class that refines AbstractCompact for deterministic automata.
class	AbstractCompactSimpleDeterministic<I,SP> Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.
class	UniversalCompactSimpleDet<I,SP> A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

Uses of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata.fsa.impl.compact

Classes in net.automatalib.automata.fsa.impl.compact that implement SimpleDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Class and Description
class	CompactDFA<I>

Uses of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata.simple

Classes in net.automatalib.automata.simple that implement SimpleDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Class and Description
static class	SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>> Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.FullIntAbstraction, i.e., building on top of a SimpleDeterministicAutomaton.StateIntAbstraction and a mapping from integers to (concrete) input symbols.

Methods in net.automatalib.automata.simple that return SimpleDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Method and Description
default SimpleDeterministicAutomaton.FullIntAbstraction	SimpleDeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet) Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.
default SimpleDeterministicAutomaton.FullIntAbstraction	SimpleDeterministicAutomaton.fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping) Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.

Uses of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata.transducers.impl.compact

Classes in net.automatalib.automata.transducers.impl.compact that implement SimpleDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Class and Description
class	CompactMealy<I,O>
class	CompactMoore<I,O>

Uses of SimpleDeterministicAutomaton.FullIntAbstraction in net.automatalib.util.partitionrefinement

Methods in net.automatalib.util.partitionrefinement with parameters of type SimpleDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Method and Description
static void	PaigeTarjanInitializers.initCompleteDeterministic(PaigeTarjan pt, SimpleDeterministicAutomaton.FullIntAbstraction absAutomaton, IntFunction<?> initialClassification, boolean pruneUnreachable) Initializes the partition refinement data structure from a given abstracted deterministic automaton, partitioning states according to the given classification function.