Package | Description |
---|---|
net.automatalib.automata.base.compact | |
net.automatalib.automata.fsa.impl.compact | |
net.automatalib.automata.transducers.impl.compact |
Class and Description |
---|
AbstractCompact
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
Abstract super class that refines
AbstractCompact for deterministic automata. |
AbstractCompactSimpleDeterministic
Abstract super class that refines
AbstractCompactDeterministic for transition-property-less automata. |
AbstractCompactSimpleNondet
Abstract super class that refines
AbstractCompact for transition-property-less automata. |
Class and Description |
---|
AbstractCompact
Abstract super class for compact automata representations.
|
AbstractCompactDeterministic
Abstract super class that refines
AbstractCompact for deterministic automata. |
AbstractCompactSimpleDeterministic
Abstract super class that refines
AbstractCompactDeterministic for transition-property-less automata. |
AbstractCompactSimpleNondet
Abstract super class that refines
AbstractCompact for transition-property-less automata. |
Class and Description |
---|
AbstractCompact
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
Abstract super class that refines
AbstractCompact for deterministic automata. |
AbstractCompactSimpleDeterministic
Abstract super class that refines
AbstractCompactDeterministic for transition-property-less automata. |
UniversalCompactSimpleDet
A
AbstractCompactSimpleDeterministic -based implementation for automata that need to store generic state
properties. |
Copyright © 2019. All rights reserved.