Module net.automatalib.api

Package net.automatalib.automaton.abstraction

Interface DeterministicAbstractions

public interface DeterministicAbstractions

Default implementations for DeterministicAutomaton abstractions.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	DeterministicAbstractions.FullIntAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
static class	DeterministicAbstractions.StateIntAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>