Package net.automatalib.automaton.base
-
Class Summary Class Description AbstractCompact<I,T,SP,TP> Abstract super class for compact automata representations.AbstractCompact.Payload A utility class that encapsulates necessary information for performing an update of the stored automata data.AbstractCompactDeterministic<I,T,SP,TP> Abstract super class that refinesAbstractCompact
for deterministic automata.AbstractCompactSimpleDeterministic<I,SP> Abstract super class that refinesAbstractCompactDeterministic
for transition-property-less automata.AbstractCompactSimpleNondet<I,SP> Abstract super class that refinesAbstractCompact
for transition-property-less automata.AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP> Shared functionality for (non-) deterministic mutable automata.AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP> AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP> AbstractFastState<T>