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 | Method and Description |
---|---|
static <S,I,T,A extends Automaton<S,I,T> & InputAlphabetHolder<I>> |
AutomatonGraphView.create(A automaton) |
static <S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP> & InputAlphabetHolder<I>> |
UniversalAutomatonGraphView.create(A automaton) |
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 |
AbstractIncrementalDFABuilder<I>
Abstract base class for
IncrementalDFABuilder s. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractIncrementalDFADAGBuilder<I> |
class |
IncrementalDFADAGBuilder<I>
Incrementally builds an (acyclic) DFA, from a set of positive and negative words.
|
class |
IncrementalPCDFADAGBuilder<I>
The prefix-closed version of
IncrementalDFADAGBuilder . |
Modifier and Type | Class and Description |
---|---|
class |
IncrementalDFATreeBuilder<I>
Incrementally builds a tree, from a set of positive and negative words.
|
class |
IncrementalPCDFATreeBuilder<I>
The prefix-closed version of
IncrementalDFATreeBuilder . |
Modifier and Type | Class and Description |
---|---|
class |
IncrementalMealyDAGBuilder<I,O>
Incrementally builds an (acyclic) Mealy machine, from a set of input and corresponding output words.
|
Modifier and Type | Class and Description |
---|---|
class |
IncrementalMealyTreeBuilder<I,O> |
Modifier and Type | Interface and Description |
---|---|
interface |
Lasso<I,D>
A lasso is an single infinite word.
|
static interface |
Lasso.DFALasso<I>
A DFALasso is a lasso for
DFA s. |
static interface |
Lasso.MealyLasso<I,O>
A MealyLasso is a lasso for
MealyMachine s. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractLasso<I,D> |
class |
DFALassoImpl<I>
A DFALasso is a lasso for
DFA s. |
class |
MealyLassoImpl<I,O>
A MealyLasso is a lasso for
MealyMachine s. |
Modifier and Type | Method and Description |
---|---|
static <I,A extends NFA<?,I> & InputAlphabetHolder<I>> |
NFAs.determinize(A nfa) |
static <I,A extends NFA<?,I> & InputAlphabetHolder<I>> |
NFAs.determinize(A nfa,
boolean partial,
boolean minimize) |
static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>> |
DFAs.minimize(A dfa)
Minimizes the given DFA.
|
Modifier and Type | Method and Description |
---|---|
static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeDFA(A dfa)
Minimizes the given DFA.
|
static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeDFA(A dfa,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given DFA.
|
static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeMealy(A mealy)
Minimizes the given Mealy machine.
|
static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeMealy(A mealy,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given Mealy machine.
|
Modifier and Type | Method and Description |
---|---|
static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>> |
PaigeTarjanMinimization.minimizeDFA(A dfa)
Minimizes the given DFA.
|
static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>> |
PaigeTarjanMinimization.minimizeMealy(A mealy)
Minimizes the given Mealy machine.
|
Copyright © 2020. All rights reserved.