Package | Description |
---|---|
net.automatalib.graphs |
Modifier and Type | Interface and Description |
---|---|
interface |
FiniteKTS<N,E,AP,L>
A finite Kripke Transition System combines the properties of both a labeled transition system
and a Kripke structure.
|
Copyright © 2015. All rights reserved.