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.
|
interface |
FiniteLTS<N,E,L>
A finite LTS is an
IndefiniteLTS with a finite number of nodes. |
Copyright © 2019. All rights reserved.