| Package | Description |
|---|---|
| net.automatalib.automata.fsa | |
| net.automatalib.automata.vpda | |
| net.automatalib.ts.acceptors |
| Class and Description |
|---|
| AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting" or not.
|
| DeterministicAcceptorTS
A deterministic acceptor transition system.
|
| Class and Description |
|---|
| AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting" or not.
|
| DeterministicAcceptorTS
A deterministic acceptor transition system.
|
| Class and Description |
|---|
| AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting" or not.
|
Copyright © 2018. All rights reserved.