Package | Description |
---|---|
net.automatalib.automata |
This package contains the basic interfaces for automata.
|
net.automatalib.automata.base.compact | |
net.automatalib.automata.base.fast | |
net.automatalib.automata.fsa.impl | |
net.automatalib.automata.fsa.impl.compact | |
net.automatalib.automata.transducers.impl | |
net.automatalib.automata.transducers.impl.compact | |
net.automatalib.brics | |
net.automatalib.serialization.dot | |
net.automatalib.visualization |
Modifier and Type | Interface and Description |
---|---|
interface |
FiniteAlphabetAutomaton<S,I,T> |
interface |
UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractCompact<I,T,SP,TP>
Abstract super class for compact automata representations.
|
class |
AbstractCompactDeterministic<I,T,SP,TP>
Abstract super class that refines
AbstractCompact for deterministic automata. |
class |
AbstractCompactSimpleDeterministic<I,SP>
Abstract super class that refines
AbstractCompactDeterministic for transition-property-less automata. |
class |
AbstractCompactSimpleNondet<I,SP>
Abstract super class that refines
AbstractCompact for transition-property-less automata. |
class |
UniversalCompactSimpleDet<I,SP>
A
AbstractCompactSimpleDeterministic -based implementation for automata that need to store generic state
properties. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP>
Shared functionality for (non-) deterministic mutable automata.
|
class |
AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP> |
class |
AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP> |
Modifier and Type | Class and Description |
---|---|
class |
FastDFA<I> |
class |
FastNFA<I> |
Modifier and Type | Class and Description |
---|---|
class |
CompactDFA<I> |
class |
CompactNFA<I> |
Modifier and Type | Class and Description |
---|---|
class |
FastMealy<I,O>
A fast implementation of a Mealy machine.
|
class |
FastMoore<I,O>
A fast implementation of a Moore automaton.
|
class |
FastProbMealy<I,O> |
Modifier and Type | Class and Description |
---|---|
class |
CompactMealy<I,O> |
class |
CompactMoore<I,O> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractBricsAutomaton
Base class for Brics automata adapters.
|
class |
BricsDFA
Adapter class for wrapping a Brics automaton as a
DFA . |
class |
BricsNFA
Adapter class for wrapping a Brics automaton as an
NFA . |
Modifier and Type | Method and Description |
---|---|
static void |
GraphDOT.write(GraphViewable gv,
Appendable a) |
Modifier and Type | Method and Description |
---|---|
static void |
Visualization.visualize(GraphViewable gv) |
static void |
Visualization.visualize(GraphViewable gv,
boolean modal) |
static void |
Visualization.visualize(GraphViewable gv,
boolean modal,
Map<String,String> options) |
Copyright © 2020. All rights reserved.