Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
FiniteAlphabetAutomaton |
MutableAutomaton
A mutable automaton.
|
MutableDeterministic
Interface for a mutable deterministic automaton.
|
ShrinkableAutomaton
A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
|
ShrinkableDeterministic
A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and
transitions.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
UniversalFiniteAlphabetAutomaton |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
MutableAutomaton
A mutable automaton.
|
MutableDeterministic
Interface for a mutable deterministic automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
FiniteAlphabetAutomaton |
MutableAutomaton
A mutable automaton.
|
MutableDeterministic
Interface for a mutable deterministic automaton.
|
ShrinkableAutomaton
A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
|
ShrinkableDeterministic
A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and
transitions.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
UniversalFiniteAlphabetAutomaton |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
MutableAutomaton
A mutable automaton.
|
MutableDeterministic
Interface for a mutable deterministic automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
FiniteAlphabetAutomaton |
MutableAutomaton
A mutable automaton.
|
MutableDeterministic
Interface for a mutable deterministic automaton.
|
ShrinkableAutomaton
A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
|
ShrinkableDeterministic
A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and
transitions.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
UniversalFiniteAlphabetAutomaton |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
MutableAutomaton
A mutable automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
AutomatonCreator |
MutableAutomaton
A mutable automaton.
|
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
Class and Description |
---|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
Class and Description |
---|
FiniteAlphabetAutomaton |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
FiniteAlphabetAutomaton |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
MutableDeterministic
Interface for a mutable deterministic automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
MutableAutomaton
A mutable automaton.
|
Class and Description |
---|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
MutableAutomaton
A mutable automaton.
|
UniversalAutomaton
A universal automaton is a generalized representation of automata, with a unified access to the properties of states
and transitions.
|
Class and Description |
---|
DeterministicAutomaton
Basic interface for a deterministic automaton.
|
Class and Description |
---|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
AutomatonCreator |
MutableDeterministic
Interface for a mutable deterministic automaton.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
AutomatonCreator |
MutableDeterministic
Interface for a mutable deterministic automaton.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
Class and Description |
---|
AutomatonCreator |
MutableAutomaton
A mutable automaton.
|
MutableDeterministic
Interface for a mutable deterministic automaton.
|
Class and Description |
---|
AutomatonCreator |
MutableDeterministic
Interface for a mutable deterministic automaton.
|
UniversalDeterministicAutomaton
A
DeterministicAutomaton with state and transition properties. |
UniversalDeterministicAutomaton.FullIntAbstraction
Interface for
full integer abstractions of a UniversalDeterministicAutomaton . |
Class and Description |
---|
MutableAutomaton
A mutable automaton.
|
Class and Description |
---|
Automaton
Basic interface for an automaton.
|
Copyright © 2020. All rights reserved.