Package net.automatalib.automata.base.compact

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 refines AbstractCompact for deterministic automata.
AbstractCompactSimpleDeterministic<I,SP>	Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.
AbstractCompactSimpleNondet<I,SP>	Abstract super class that refines AbstractCompact for transition-property-less automata.
UniversalCompactSimpleDet<I,SP>	A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.