| Package | Description |
|---|---|
| net.automatalib.automata |
This package contains the basic interfaces for automata.
|
| net.automatalib.automata.graphs | |
| net.automatalib.graphs | |
| net.automatalib.graphs.helpers |
| Class and Description |
|---|
| GraphViewable |
| Class and Description |
|---|
| NodeIDs |
| Class and Description |
|---|
| EdgeLabels
Edge label context, for
Graphs with labeled edges. |
| KripkeInterpretation
A Kripke interpretation for a graph.
|
| NodeAcceptance
Node acceptance concept, for
Graphs that represent a structure for deciding acceptance or rejection. |
| NodeIDs |
| Class and Description |
|---|
| NodeIDs |
Copyright © 2018. All rights reserved.