| Modifier and Type | Class and Description |
|---|---|
class |
AbstractAutomaton<S,I,T>
Abstract base class for automata.
|
class |
AbstractDeterministicAutomaton<S,I,T>
Abstract base class for deterministic automata.
|
class |
AbstractMutableAutomaton<S,I,T,SP,TP>
Abstract base class for mutable automata.
|
class |
AbstractMutableDeterministic<S,I,T,SP,TP>
Abstract base class for mutable deterministic automata.
|
class |
AbstractShrinkableAutomaton<S,I,T,SP,TP> |
class |
AbstractShrinkableDeterministic<S,I,T,SP,TP> |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractCompactDeterministic<I,T,SP,TP> |
class |
AbstractCompactSimpleDet<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 |
AbstractDFA<S,I> |
class |
AbstractFSA<S,I> |
class |
AbstractMutableDFA<S,I> |
class |
AbstractMutableFSA<S,I> |
class |
AbstractMutableNFA<S,I> |
class |
AbstractNFA<S,I> |
| Modifier and Type | Class and Description |
|---|---|
class |
FastDFA<I> |
class |
FastNFA<I> |
| Modifier and Type | Class and Description |
|---|---|
class |
CompactDFA<I> |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractAutomatonGraph<S,I,T,SP,TP> |
| 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 | Class and Description |
|---|---|
class |
AbstractDTS<S,I,T> |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractAcceptorTS<S,I> |
class |
AbstractDeterministicAcceptorTS<S,I> |
| Modifier and Type | Class and Description |
|---|---|
class |
DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> |
class |
TSComposition<S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> |
| Modifier and Type | Class and Description |
|---|---|
class |
FastPowersetDTS<S extends NumericID,I,T> |
class |
PowersetDTS<S,I,T> |
Copyright © 2013. All Rights Reserved.