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.graphs | |
net.automatalib.automata.transout.impl | |
net.automatalib.automata.transout.impl.compact | |
net.automatalib.util.automata.fsa | |
net.automatalib.util.automata.minimizer.hopcroft |
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 |
AbstractCompactDeterministic<I,T,SP,TP> |
class |
AbstractCompactSimpleDet<I,SP> |
class |
AbstractCompactSimpleNondet<I,SP> |
class |
UniversalCompactSimpleDet<I,SP> |
Modifier and Type | Class and Description |
---|---|
class |
FastMutableDet<S extends FastDetState<S,T>,I,T,SP,TP> |
class |
FastMutableNondet<S extends FastNondetState<S,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> |
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 <I,A extends DFA<?,I> & InputAlphabetHolder<I>> |
DFAs.minimize(A dfa)
Minimizes the given DFA.
|
Modifier and Type | Method and Description |
---|---|
static <I,A extends DFA<?,I> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeDFA(A dfa)
Minimizes the given DFA.
|
static <I,A extends DFA<?,I> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeDFA(A dfa,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given DFA.
|
static <I,O,A extends MealyMachine<?,I,?,O> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeMealy(A mealy)
Minimizes the given Mealy machine.
|
static <I,O,A extends MealyMachine<?,I,?,O> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeMealy(A mealy,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given Mealy machine.
|
Copyright © 2015. All rights reserved.