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. |
Copyright © 2019. All rights reserved.