Package net.automatalib.automaton.abstraction

Interface UniversalDeterministicAbstractions

public interface UniversalDeterministicAbstractions

Default implementations for UniversalDeterministicAutomaton abstractions.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>
static class	UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>