Module de.learnlib.algorithm.kv
Package de.learnlib.algorithm.kv
-
Class Summary Class Description StateInfo<I,D> The information associated with a state: it's access sequence (or access string), and the list of incoming transitions.
| Class | Description |
|---|---|
| StateInfo<I,D> |
The information associated with a state: it's access sequence (or access string), and the list of incoming
transitions.
|