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. |
interface |
IndefiniteLTS<N,E,L>
A labeled transition system is a graph with labels attached to its edges.
|
Copyright © 2015. All rights reserved.