| Package | Description |
|---|---|
| net.automatalib.automata |
This package contains the basic interfaces for automata.
|
| net.automatalib.automata.fsa | |
| net.automatalib.automata.transout | |
| net.automatalib.automata.transout.probabilistic |
| Modifier and Type | Interface and Description |
|---|---|
interface |
MutableDeterministic<S,I,T,SP,TP>
Interface for a mutable deterministic automaton.
|
interface |
ShrinkableAutomaton<S,I,T,SP,TP>
A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
|
interface |
ShrinkableDeterministic<S,I,T,SP,TP>
A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and
transitions.
|
| Modifier and Type | Method and Description |
|---|---|
static <S,I,T,SP,TP> |
ShrinkableAutomaton.unlinkState(MutableAutomaton<S,I,T,SP,TP> automaton,
S state,
S replacement,
Collection<I> inputs) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
MutableDFA<S,I> |
interface |
MutableFSA<S,I> |
interface |
MutableNFA<S,I> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
MutableMealyMachine<S,I,T,O> |
interface |
MutableMooreMachine<S,I,T,O> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
MutableProbabilisticMealy<S,I,T,O> |
Copyright © 2018. All rights reserved.