Module net.automatalib.api

Package net.automatalib.automaton.abstraction

Interface DeterministicAbstractions

public interface DeterministicAbstractions

Abstractions for DeterministicAutomatons.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	DeterministicAbstractions.FullIntAbstraction<T>	Interface for full integer abstractions of a DeterministicAutomaton.
static class	DeterministicAbstractions.FullIntAbstractionImpl<I,T,A extends DeterministicAbstractions.StateIntAbstraction<I,T>>
static interface	DeterministicAbstractions.IntAbstraction<T>	Base interface for integer abstractions of a DeterministicAutomaton.
static interface	DeterministicAbstractions.StateIntAbstraction<I,T>	Interface for state integer abstractions of a DeterministicAutomaton.
static class	DeterministicAbstractions.StateIntAbstractionImpl<S,I,T,A extends DeterministicAutomaton<S,I,T>>