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

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

Uses of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton

Subinterfaces of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton

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

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

Modifier and Type	Class	Description
class	UniversalCompactDet<I,SP,TP>	A default implementation for AbstractCompactDeterministic that uses CompactTransition as transition type and supports various types of state and transition properties.
class	UniversalCompactSimpleDet<I,SP>	A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

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

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

Uses of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton.abstraction

Classes in net.automatalib.automaton.abstraction that implement UniversalDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Class	Description
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 UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton.base

Classes in net.automatalib.automaton.base that implement UniversalDeterministicAutomaton.FullIntAbstraction

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

Uses of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton.fsa

Classes in net.automatalib.automaton.fsa that implement UniversalDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Class	Description
class	CompactDFA<I>

Uses of UniversalDeterministicAutomaton.FullIntAbstraction in net.automatalib.automaton.transducer

Classes in net.automatalib.automaton.transducer that implement UniversalDeterministicAutomaton.FullIntAbstraction

Modifier and Type	Class	Description
class	CompactMealy<I,O>
class	CompactMoore<I,O>
class	CompactSST<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	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)