Package net.automatalib.automaton.abstraction

Interface MutableDeterministicAbstraction

public interface MutableDeterministicAbstraction

Default implementations for MutableDeterministic abstractions.

Nested Class Summary

Nested Classes

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