Uses of Interface
net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction

Packages that use UniversalDeterministicAutomaton.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.transducers.impl.compact
net.automatalib.util.partitionrefinement

Uses of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata

Subinterfaces of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata

Modifier and Type	Interface and Description
static interface	MutableDeterministic.FullIntAbstraction<T,SP,TP>

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

Modifier and Type	Class and Description
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>>

Methods in net.automatalib.automata that return UniversalDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Method and Description
default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>	UniversalDeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet)
default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>	UniversalDeterministicAutomaton.fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)

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

Classes in net.automatalib.automata.base.compact that implement UniversalDeterministicAutomaton.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 UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automata.fsa.impl.compact

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

Modifier and Type	Class and Description
class	CompactDFA<I>

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

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

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

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

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

Modifier and Type	Method and Description
static StateSignature	StateSignature.byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
static StateSignature	StateSignature.byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
static void	PaigeTarjanInitializers.initCompleteDeterministic(PaigeTarjan pt, UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> absAutomaton, AutomatonInitialPartitioning ip, boolean pruneUnreachable) Initializes the partition refinement data structure from a given abstracted deterministic automaton, using a predefined initial partitioning mode.
abstract IntFunction<?>	AutomatonInitialPartitioning.initialClassifier(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton)