Module net.automatalib.api

Package net.automatalib.automaton.abstraction

Interface MutableDeterministicAbstractions

public interface MutableDeterministicAbstractions

Abstractions for MutableDeterministics.

Nested Class Summary

Nested Classes

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