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.transout.impl | |
net.automatalib.automata.transout.impl.compact | |
net.automatalib.serialization.taf.parser | |
net.automatalib.serialization.taf.writer |
Modifier and Type | Interface and Description |
---|---|
interface |
UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractCompactDeterministic<I,T,SP,TP> |
class |
AbstractCompactSimpleDet<I,SP> |
class |
AbstractCompactSimpleNondet<I,SP> |
class |
UniversalCompactSimpleDet<I,SP> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractFastMutableDet<S extends AbstractFastDetState<S,T>,I,T,SP,TP> |
class |
AbstractFastMutableNondet<S extends AbstractFastNondetState<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> |
Modifier and Type | Method and Description |
---|---|
static FiniteAlphabetAutomaton<?,String,?> |
TAFParser.parseAny(File file,
TAFParseDiagnosticListener listener) |
static FiniteAlphabetAutomaton<?,String,?> |
TAFParser.parseAny(InputStream stream,
TAFParseDiagnosticListener listener) |
static FiniteAlphabetAutomaton<?,String,?> |
TAFParser.parseAny(Reader reader,
TAFParseDiagnosticListener listener) |
static FiniteAlphabetAutomaton<?,String,?> |
TAFParser.parseAny(String string,
TAFParseDiagnosticListener listener) |
Modifier and Type | Method and Description |
---|---|
static <I> void |
TAFWriter.writeAny(FiniteAlphabetAutomaton<?,I,?> automaton,
Appendable out) |
Copyright © 2018. All rights reserved.